Comments (4)
asmeurer
commented on June 4, 2024
I don't see it. I see one comment for the release notes and one for the added files. Was there a comment that was deleted?
from sympy-bot.
sylee957
commented on June 4, 2024
Okay, I didn’t know that another comment is added for file deleting.
from sympy-bot.
asmeurer
commented on June 4, 2024
We could merge them into one comment. I just did a separate comment to make it clear that they are separate checks, but maybe it would be cleaner as a single comment.
from sympy-bot.
asmeurer
commented on June 4, 2024
That would also be better for seeing the history, since currently it deletes the file added comment if the commits are rebased and the added files are removed. But if it were in the same comment, you could still see it in the comment edit history.
from sympy-bot.
Related Issues (20)
- Heroku ending free tier HOT 9
- Render deliveries are timing out HOT 13
- Automatic tagging and assigning of Pull Requests and Issues HOT 4
- Check for people adding author information
- Do some basic linting of the PR description
- Let the bot give people triage access HOT 1
- Better error for bad bullet on the header
- Assign the issue to the person who opened the pull request HOT 3
- Benchmark report
- Warn on new or deleted files HOT 6
- Make the webapp tests easier to maintain
- Status not updated sometimes HOT 6
- Recognize co-authored-by in commit messages HOT 4
- Detect orphan commits
- Make this a GitHub app
- Is it possible (or not to hard) to have the bot ping a github handle on a PR if it affects specific SymPy modules? HOT 7
- Add automatic Binder deployment for commits HOT 2
- SymPy bot error in merging release notes HOT 1
- Update the wiki push test
Recommend Projects
-
React
A declarative, efficient, and flexible JavaScript library for building user interfaces.
-
Vue.js
🖖 Vue.js is a progressive, incrementally-adoptable JavaScript framework for building UI on the web.
-
Typescript
TypeScript is a superset of JavaScript that compiles to clean JavaScript output.
-
TensorFlow
An Open Source Machine Learning Framework for Everyone
-
Django
The Web framework for perfectionists with deadlines.
-
Laravel
A PHP framework for web artisans
-
D3
Bring data to life with SVG, Canvas and HTML. 📊📈🎉
-
Recommend Topics
-
javascript
JavaScript (JS) is a lightweight interpreted programming language with first-class functions.
-
web
Some thing interesting about web. New door for the world.
-
server
A server is a program made to process requests and deliver data to clients.
-
Machine learning
Machine learning is a way of modeling and interpreting data that allows a piece of software to respond intelligently.
-
Visualization
Some thing interesting about visualization, use data art
-
Game
Some thing interesting about game, make everyone happy.
Recommend Org
-
Facebook
We are working to build community through open source technology. NB: members must have two-factor auth.
-
Microsoft
Open source projects and samples from Microsoft.
-
Google
Google ❤️ Open Source for everyone.
-
Alibaba
Alibaba Open Source for everyone
-
D3
Data-Driven Documents codes.
-
Tencent
China tencent open source team.
from sympy-bot.