This is a GitHub bot for SymPy. It runs on Render and uses the @sympy-bot GitHub user. The bot makes sure that every pull request to SymPy has a release notes entry in the pull request description. It ...