Subject: Re: [boost] [git] What about unmaintained libraries?
From: Mathias Gaunard (mathias.gaunard_at_[hidden])
Date: 2012-12-25 07:50:47
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
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.