How to do a GitHub pull request
我如何创建和/或发送拉请求到GitHub上托管的另一个存储库?
(In addition of the official "GitHub Help 'Using pull requests' page",
see also "Forking vs. Branching in GitHub", "What is the difference between origin and upstream in GitHub")
Couple tips on pull-requests:
Assuming that you have first forked a repo , here is what you should do in that fork that you own:
master
, where you could be tempted to accumulate and mix several modifications at once. origin/master
(making sure your patch is still working) will update the pull request automagically (no need to click on anything) git remote prune origin
). The GitHub GUI will propose for you to delete your branch in your pull-request page. Note: to write the Pull-Request itself, see " How to write the perfect pull request " (January 2015, GitHub)
March 2016: New PR merge button option: see "Github squash commits from web interface on pull request after review comments?".
The maintainer of the repo can chose to merge --squash those PR commits.
After a Pull Request
Regarding the last point, since April, 10th 2013, " Redesigned merge button ", the branch is deleted for you:
Deleting branches after you merge has also been simplified.
Instead of confirming the delete with an extra step, we immediately remove the branch when you delete it and provide a convenient link to restore the branch in the event you need it again .
That confirms the best practice of deleting the branch after merging a pull request.
pull-request vs. request-pull
pull request isn't an official "git" term.
Git uses the request-pull
(!) command to build a request for merging:
It "summarizes the changes between two commits to the standard output, and includes the given URL in the generated summary."
Github launches its own version since day one (February 2008), but redesigned that feature in May 2010, stating that:
Pull Request = Compare View + Issues + Commit comments
e-notes for "reposotory" (sic)
<humour>
That (pull request) isn't even defined properly by GitHub!
Fortunately, a true business news organization would know, and there is an e-note in order to replace pull-replace by 'e-note':
So if your repos o tory needs a e-note... ask Fox Business . They are in the know.
</humour>
To learn how to make a pull request I just followed two separate help pages on Github (linked below as bullet points). The following command line commands are for Part 1 . Part 2 , the actual pull request, is done entirely on Github's website.
$ git clone https://github.com/tim-peterson/dwolla-php.git
$ cd dwolla-php
$ git remote add upstream https://github.com/Dwolla/dwolla-php.git
$ git fetch upstream
// make your changes to this newly cloned, local repo
$ git add .
$ git commit -m '1st commit to dwolla'
$ git push origin master
Part 1 : fork someone's repo: https://help.github.com/articles/fork-a-repo
git clone->cd dwolla-php->git remote->git fetch
sequence above to clone your fork somewhere in your computer (ie, "copy/paste" it to, in this case: third_party TimPeterson$
) and sync it with the master repo (Dwolla/dwolla-php) git add->git commit->git push
sequence above to push your changes to the remote repo, ie, your fork on Github (tim-peterson/dwolla-php) Part 2 : make pull-request: https://help.github.com/articles/using-pull-requests
In order to make a pull request you need to do the following steps:
It took me a while to figure this, hope this will help someone.
链接地址: http://www.djcxy.com/p/68526.html上一篇: 如何提交来自克隆回购的请求?
下一篇: 如何做一个GitHub拉取请求