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:%[email protected]/%s.git --delete '%s'"

So this can fail with the following error:

Executing command: git push https://coqbot:[email protected]/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:[email protected]/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.