Retry if there is a problem at the server

sympy / sympy-bot-old

SymPy pull request helper

http://reviews.sympy.org/

Other

24 stars 16 forks source link

Closed certik closed 12 years ago

certik commented 12 years ago

Fixes #110 and #64

certik commented 12 years ago

If you are +1, just merge it.

asmeurer commented 12 years ago

Done.

certik commented 12 years ago

Thanks!