Re: Recover from a bad push in StGit
- From
- Catalin Marinas <catalin.marinas@arm.com>
- Date
- Aug 21, 2006, 09:35 UTC
- Message-ID
- <tnxk652torl.fsf@arm.com>
- In-Reply-To
- <200608190030.47257.robin.rosenberg.lists@dewire.com>
Robin Rosenberg <robin.rosenberg.lists@dewire.com> wrote:
Show 10 quoted lines
> I recently did some reordering of patches and goofed up (not totally, but > anyway). I pushed a number of patches and forgot one in the middle resulting > in a merge conflict. Pop won't work since I have local changes from the > conflict and I don't want to resolve the conflict either since I didn't mean > to push the patch at that point. > > Is there a simple way of undoing a bad push? > > In this case I had a fresh export do help me out so I could just delete the > patches and re-import them again, but what if I didn't?
"stg push --undo" (the same option for "refresh"; maybe I should add a separate "undo" command) resets the local changes and it restores the original boundaries of the patch (no information is lost). You could use the latest snapshot as it has some bug-fixes from release 0.10.
-- Catalin