sympy / sympy-bot

GitHub bot for SymPy

https://github.com/sympy-bot

sympy/sympy-bot Issues

Render deliveries are timing out
Updated a year ago13
Heroku ending free tier
Updated a year ago9
Update the wiki push test
Updated 3 years ago
SymPy bot error in merging release notes
Closed 3 years ago1
Add automatic Binder deployment for commits
Updated 3 years ago2
Is it possible (or not to hard) to have the bot ping a github handle on a PR if it affects specific SymPy modules?
Updated 4 years ago7
Use the same comment for release notes and file added checks
Updated 4 years ago4
Make this a GitHub app
Updated 4 years ago
Detect orphan commits
Updated 4 years ago
Recognize co-authored-by in commit messages
Updated 4 years ago4
Status not updated sometimes
Updated 4 years ago6
Warn on new or deleted files
Updated 4 years ago6
Make the webapp tests easier to maintain
Updated 4 years ago
Benchmark report
Updated 4 years ago
Assign the issue to the person who opened the pull request
Updated 5 years ago3
Better error for bad bullet on the header
Updated 5 years ago
Let the bot give people triage access
Updated 5 years ago1
Do some basic linting of the PR description
Updated 5 years ago
Check for people adding author information
Updated 5 years ago
Automatic tagging and assigning of Pull Requests and Issues
Updated 5 years ago4
Render the submodule headers as Markdown headers?
Updated 5 years ago1
Uniform second level list marking
Updated 5 years ago6
Another PR can cause a PR to be merged
Updated 5 years ago7
Release notes entry for patches against release branch
Closed 5 years ago3
not handled correctly when it isn't on its own line
Updated 5 years ago1
why did sympy-bot add double entries for some PRs in the release notes?
Updated 5 years ago6
BadRequest error
Updated 5 years ago4
Better error handling
Updated 5 years ago2
Improve test coverage
Updated 5 years ago
Update the Authors section automatically
Updated 5 years ago2
Create the wiki page if it doesn't exist
Updated 5 years ago5
Issues if release notes are indented
Updated 6 years ago
Nested bullets are not handled correctly
Updated 6 years ago
Bot getting confused by headers
Closed 6 years ago2
Auto-merge on green
Updated 6 years ago4
Too many NO ENTRY
Closed 6 years ago3
Some more linting of the release notes entry text
Updated 6 years ago
Multiple authors with multiple changes
Updated 6 years ago
is the initial reply too scary?
Closed 6 years ago4
Check against  being in commit messages
Closed 6 years ago4
Tests for the webapp
Closed 6 years ago1
Remove the "[triangle] click here bit"
Updated 6 years ago3
PR link in changelog is not correct
Closed 6 years ago2
Two bullets under a header gets nested
Closed 6 years ago
error when merging a PR with NO ENTRY for release notes
Closed 6 years ago2
some way to indicate major/minor changes?
Closed 6 years ago2
Suggest the submodule names for the header
Updated 6 years ago
show the original user text
Closed 6 years ago
Add a text
Closed 6 years ago3
When the release notes fail, add a link to how to write release notes
Closed 6 years ago4