sympy / sympy-bot-old

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

Fix reviews when the branch can't be merged #129

Closed asmeurer closed 12 years ago

smichr commented 12 years ago

I don't understand the relationship between the commit title and the change...can you elaborate a bit?

asmeurer commented 12 years ago

If you try running the bot on a branch that can't be merged in master, you get a trace back. This fixes that.

smichr commented 12 years ago

OK, this is in.