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
> 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 acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk