25 Dec
2012
25 Dec
'12
12:50 p.m.
On 24/12/12 20:09, Dave Abrahams wrote:
A "pull-request" (https://help.github.com/articles/using-pull-requests) provides a convenient web interface for submitting changes to a repository you've "forked."
You can also emit pull requests between branches of the same repository.
It also allows you to amend those changes before they are incorporated upstream; if you request a pull on a symbolic reference (like a branch), any changes to that reference made before the request is accepted upstream will become part of that pull. That can be a surprising effect. If you want to avoid it, you might use tags or dedicated branches for pull requests.
Pull requests should always be done from topical branches.