search

sympy / sympy-bot

GitHub bot for SymPy
https://github.com/sympy-bot
Other
22 stars 11 forks source link

Check for people adding author information #66

Open asmeurer opened 5 years ago

asmeurer commented 5 years ago

The author and PR number are added automatically, so we should error if the person adds them.