##// END OF EJS Templates
merge pull request by number...
merge pull request by number with options : merge PR -m number [number ...] lists pull request (-l) use github v2 (-v2) api (sorry for me i've issues with v3/https/proxy)
Matthias BUSSONNIER -
r7254:61aacf0d
Show More
Name Size Modified Last Commit Author
/ IPython / lib / tests
__init__.py Loading ...
test_backgroundjobs.py Loading ...
test_deepreload.py Loading ...
test_imports.py Loading ...
test_irunner.py Loading ...
test_irunner_pylab_magic.py Loading ...
test_kernel.py Loading ...
test_pretty.py Loading ...
test_security.py Loading ...