search

sympy / sympy-bot-old

SymPy pull request helper
http://reviews.sympy.org/
Other
24 stars 16 forks source link

Add -m option to sympy-bot, allowing to specify a custom commit to merge with #78

Closed asmeurer closed 12 years ago

asmeurer commented 12 years ago

See the addition to the README for more information. I've also made some small modifications to error handling, which I hope are consistant with what was already there.

Please do at least look at the error handling stuff I added (adding review["error"], and calling sys.exit), as I'm not sure it's the best, or fully consistant with what's already there (I didn't read the rest of the code very much).

certik commented 12 years ago

This looks good to me. Feel free to push in a correction for the typo in the README later.

asmeurer commented 12 years ago

Done. Thanks for merging this.