search

sympy / sympy-bot-old

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

List against #135

Closed asmeurer closed 11 years ago

asmeurer commented 11 years ago

Fix sympy-bot list to show the branch the PR is against.

Also fix sympy-bot review all and sympy-bot review mergeable (and fix the spelling of "mergeable"!).

asmeurer commented 11 years ago

Ah, I thought I had the latest master when I did this, but I guess the pull didn't work. So the mergeable fix from Julien is used instead (though it was probably too kind to still allow "mergable").

jrioux commented 11 years ago

Looks fine.

jrioux commented 11 years ago

It's in.