##// 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)

File last commit:

r4983:a1987bdc
r7254:61aacf0d
Show More
.gitignore
13 lines | 162 B | text/plain | TextLexer
MANIFEST
build
dist
_build
docs/man/*.gz
docs/source/api/generated
docs/gh-pages
IPython/frontend/html/notebook/static/mathjax
*.py[co]
build
*.egg-info
*~
*.bak