coqbot-app
GitHub App
coqbot-app
GitHub App
This GitHub App provides many features, including the ability to use GitLab CI for GitHub repositories, in particular for incoming pull requests from forks. The full documentation of the features and of how to set up the App (in particular on the GitLab side) is available in the README.
Developer
coqbot-app is provided by a third-party and is governed by separate terms of service, privacy policy, and support documentation.
Report abuse