Re: [boost] [git] What about unmaintained libraries?

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
> "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.