Files

.github
bot-components
screenshots
- backport-management.png
- changed-milestone.png
- deleted-branch.png
- detailed-reporting.png
- link-to-artifact.png
- needs-rebase.png
- neutral-check.png
- pr-recommendation.png
- pushed-branch.png
- re-run.png
- reject-backport.png
- removed-milestone.png
- stale-pull-request.png
src
.gitignore
.mailmap
.ocamlformat
CHANGELOG.md
CITATION.cff
Dockerfile
LICENSE
README.md
bot-components.opam
coq-bot.opam
coq_bug_minimizer.sh
coqbot-config.toml
default.nix
dev.el
dune-project
example-config.toml
make_ancestor.sh
release.Dockerfile
run_ci_minimization.sh

re-run.png

Document more features.

Dec 21, 2020

dd3de6c · Dec 21, 2020