-
Notifications
You must be signed in to change notification settings - Fork 16
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
Label
Projects
Milestones
Assignee
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 New feature or request
needs: bisect
enhancement
#11
opened Jul 16, 2018 by
JasonGross
mergify/bors-like merging process
enhancement
New feature or request
#18
opened Aug 1, 2018 by
Zimmi48
Monitor newly created branches and tags and immediately delete non-conforming ones.
enhancement
New feature or request
#31
opened Jan 19, 2019 by
Zimmi48
Possible race when pushing quickly several times to a PR
bug
Something isn't working
#34
opened May 6, 2019 by
Zimmi48
Add/Remove pull request from backporting project when its milestone is updated.
enhancement
New feature or request
#38
opened Aug 28, 2019 by
Zimmi48
coqbot could skim through PRs without assginees and request reviewers to choose an assignee
enhancement
New feature or request
#42
opened Oct 23, 2019 by
Zimmi48
Management of several open backport projects could be improved.
enhancement
New feature or request
#48
opened Mar 3, 2020 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
Remove surrounding double quotes in result of get_pull_request_refs.
enhancement
New feature or request
#61
opened Jun 25, 2020 by
Zimmi48
Set up GitLab mirroring of new coq-community projects
enhancement
New feature or request
#78
opened Jul 27, 2020 by
palmskog
Add generated HTML documentation to gh-pages branch for tags
enhancement
New feature or request
#85
opened Aug 11, 2020 by
palmskog
Merge with coqbot feedback
enhancement
New feature or request
#95
opened Aug 25, 2020 by
Zimmi48
1 of 3 tasks
Support more variants of calls to coqbot
enhancement
New feature or request
#106
opened Sep 9, 2020 by
Zimmi48
Support @coqbot: merge tomorrow and @coqbot: merge when CI passes
enhancement
New feature or request
#108
opened Sep 17, 2020 by
Zimmi48
Automated submission of issues from external CI
enhancement
New feature or request
#110
opened Sep 23, 2020 by
ejgallego
coqbot did not push to GitLab (or rather GitLab didn't answer to Something isn't working
git push
).
bug
#111
opened Sep 29, 2020 by
Zimmi48
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
Previous Next
ProTip!
Type g i on any issue or pull request to go back to the issue listing page.