[IPython-dev] Testing pull requests

[Thomas Kluyver]

The script for testing pull requests is now in master. To use it, find
the number of the pull request (the last part of the URL), and run:

python tools/test_pr.py 1234

This will create a .ipy_pr_tests/ directory in your home folder, check
out the project, merge the specified pull request, and run the tests
for each version of Python you have installed. If you add a -p option,
it will also post the results as a comment on the pull request.

You'll need requests installed, and if you want to post the results,
keyring. Both are available on PyPI.

Thanks,
Thomas