Join GitHub today
GitHub is home to over 20 million developers working together to host and review code, manage projects, and build software together.
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
Already on GitHub? Sign in to your account
Merge pull request just by number #186
commented on the diff
Jul 24, 2012
|# > git fetch git://github.com/mislav/hub.git +refs/heads/feature:refs/remotes/mislav/feature|
|# > git merge mislav/feature --no-ff -m 'Merge pull request #73 from mislav/feature...'|
|_, url_arg = args.words|
|- if url = resolve_github_url(url_arg) and url.project_path =~ /^pull\/(\d+)/|
|+ pull_id = nil|
|+ project_url = nil|
|+ if url_arg =~ /(pr|pull)(-|\/)?(\d+)/i|