leanprover-bot

Might do useful things on Lean repos maintainer: @Kha