{"repo":"rocq-prover/bot","free":true,"listed":false,"github":"https://github.com/rocq-prover/bot","clone":"git clone https://github.com/rocq-prover/bot.git","description":"The Rocq Prover bot","language":"OCaml","stars":30,"topics":["bot","webhook","ocaml","github","gitlab","github-api","gitlab-api","github-app"],"license":"MIT","category":"workflow-automation","readme_excerpt":"[![Zulip][zulip-badge]][zulip-link] [zulip-badge]: https://img.shields.io/badge/chat-on%20Zulip-informational.svg [zulip-link]: https://rocq-prover.zulipchat.com/#narrow/stream/243318-coqbot-devs.20.26.20users A multi-function bot, written in OCaml # Most of the functions of this bot are used in the development of the Rocq Prover. A subset of functions (most notably the ability to synchronize GitHub pull requests to GitLab branches and report back the results of continuous integration) are used in dozens of additional projects. This is a work in progress and your help is welcome, both in the form of issues and pull requests. When reporting a bug or requesting a feature, please be as specific as possible, and be ready to follow up. If you are not ready to follow up to make your needs more explicit, or to help with testing, don't bother requesting a new feature in the first place. Contents ## 1. Features 2. How to use the @coqbot instance 3. Architecture 4. How to deploy a new instance 5. Building locally Features ## Synchronization between GitHub and GitLab ### GitLab is not just a development platform similar to GitHub, it is also one of the best CI providers there is today. Consequently, it is no surprise that many projects that are developed on GitHub want to use GitLab for CI/CD. Since 2018, [GitLab CI/CD supports GitHub][gitlab-github-support], but this only means mirroring the repository's branches and reporting status checks back. Pull requests originating from forks ge","default_branch":null,"files":null,"tree":[],"storefront":"/r/rocq-prover","claimed":false,"request_supported":{"post":"https://gitbuyer.com/r/rocq-prover/bot/request-supported","requests":0},"note":"indexed from public GitHub; nothing is for sale on this page. Clone it from GitHub. Paid listings live at /search."}