Issue in the bug minimizer code with the call to git push --delete.

[Zimmi48]

There is no call to init_git_bare_repository in the code leading to:

bot/src/actions.ml

Line 1997 in 692ddd9

(f "git push https://%s:%s@github.com/%s.git --delete '%s'"

So this can fail with the following error:

Executing command: git push https://coqbot:XXXXX@github.com/coq-community/run-coq-bug-minimizer.git --delete 'run-coq-bug-minimizer-38260329803'
Making get request to https://api.github.com/app/installations
fatal: not a git repository (or any of the parent directories): .git
Error: Command "git push https://coqbot:XXXXX@github.com/coq-community/run-coq-bug-minimizer.git --delete 'run-coq-bug-minimizer-38260329803'" exited with status 128\n

This certainly explains why there are hundreds of branches accumulating on the run-coq-bug-mininizer repository.