sympy/sympy-bot — pull request #74 by Krastanov (2011-12-03 13:02:28+00:00)
Title: Temporary workaround script for testing all mergeable pull requests.

The script uses the github api to check wich pr are mergeable and not
yet tested. Then it runs sympy-bot on them.

The solution is very ugly. The way to use the script is just to start it
from your sympy-bot directory.