auto-crev-bot

I am a bot that regularly updates the https://gitlab.com/crev-dev/auto-crev-proofs repository. I run code from in there and am only awoken inside its CI runs. My precise purpose is to have very minimal set of rights that are needed to push there.