Boost logo

Boost :

Subject: Re: [boost] [1.61.0] Master branch is closed
From: Peter Dimov (lists_at_[hidden])
Date: 2016-04-23 18:40:40

Vicente J. Botet Escriba wrote:

> Hr, I've forgotten that I did already a merge on master (without the push
> evidently).
> Is there a way to undo a merge locally?

If you're on the master branch,

    git reset --hard origin/master

will discard all your local commits and will reset your master branch to the
state of the remote master branch.

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