coqbot 0.2.0

The @jtcoolen's internship final release.

Added

• Integrate with Jason Gross' coq-bug-minimizer tool.
• Merge a branch in the coq repository if some conditions are met, by writing @coqbot: merge now in a comment.
• Parameterize the bot with a configuration file.
• Installation as a GitHub App is supported.
• Report CI status checks with the Checks API when using the GitHub app.
• Report errors of jobs in allow failure mode when the Checks API is used.

Changed

• Refactored the architecture of the application and of the bot-components library
• Always create a merge commit when pushing to GitLab.
• More informative bot merge commit title for GitLab CI.

coqbot 0.1.0

Initial release of coqbot.

Added

• Push new and updated pull requests to branches on a GitLab mirror.
• Automatic merge commit for pull requests that aren't up-to-date with respect to the base branch.
• Push a failed status check on a PR if the automatic merge fails, and set a "needs: rebase" label
  (removes the label once an updated version without conflicts is pushed).
• Detailed status check reporting of failing pipelines from GitLab CI
  (with direct links to the failed jobs from within the PR in GitHub).
• Delete branches corresponding to pull requests when the pull requests are merged or closed.
• Clear milestone of unmerged pull requests.
• Synchronize closed issue's milestone with the one of the pull request that closed it.
• Post comment when a pull request does not respect certain standards.
• Manage the backporting process.
• Automatic release, build and deployment of Docker images of the bot to Heroku and GitHub packages.