Skip to content

Issues: coq/bot

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Assignee
Filter by who’s assigned
Sort

Issues list

@coqbot can help with backporting enhancement New feature or request
#4 opened May 21, 2018 by Zimmi48
2 of 3 tasks
Feature request: Support for needs: bisect enhancement New feature or request
#11 opened Jul 16, 2018 by JasonGross
mergify/bors-like merging process enhancement New feature or request
#18 opened Aug 1, 2018 by Zimmi48
Possible race when pushing quickly several times to a PR bug Something isn't working
#34 opened May 6, 2019 by Zimmi48
Configuration file enhancement New feature or request
#35 opened Jul 19, 2019 by Zimmi48
@coqbot could handle a lot of the release management taks. enhancement New feature or request
#51 opened May 15, 2020 by Zimmi48
Use GraphQL for GitLab API calls too. enhancement New feature or request
#52 opened May 31, 2020 by Zimmi48
Handling of overlays enhancement New feature or request
#72 opened Jul 10, 2020 by ejgallego
deploy shouldn't run on forks bug Something isn't working
#87 opened Aug 20, 2020 by SkySkimmer
Merge with coqbot feedback enhancement New feature or request
#95 opened Aug 25, 2020 by Zimmi48
1 of 3 tasks
@coqbot rebase feature enhancement New feature or request
#105 opened Sep 7, 2020 by CohenCyril
Support more variants of calls to coqbot enhancement New feature or request
#106 opened Sep 9, 2020 by Zimmi48
GitHub Checks feedback enhancement New feature or request
#109 opened Sep 21, 2020 by Zimmi48
Automated submission of issues from external CI enhancement New feature or request
#110 opened Sep 23, 2020 by ejgallego
Do not take into account deleted or modified overlays, only new ones. bug Something isn't working
#114 opened Oct 23, 2020 by Zimmi48
stale issue closing / issue triaging enhancement New feature or request
#115 opened Oct 26, 2020 by gares
ProTip! Type g i on any issue or pull request to go back to the issue listing page.