sympy / sympy-bot

GitHub bot for SymPy

Home Page:https://github.com/sympy-bot

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

Use the same comment for release notes and file added checks

sylee957 opened this issue · comments

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?

Okay, I didn’t know that another comment is added for file deleting.

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.

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.