Boost logo

Boost :

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

Boost list run by bdawes at, gregod at, cpdaniel at, john at