[Emms-patches] Re: Sorry ...

[Tim Landscheidt]

I wrote:

> ... I screwed up. I tried very hard to push only changes to
> the autotools branch, even using a temporary clone in a dif-
> ferent directory, but somehow my scratchpad got pushed as
> well.

>   If someone has the knowledge and karma to reset the master
> branch to the last "good" commit, I'd be eternally grateful.

Some googling (cf.
<URI:http://stackoverflow.com/questions/1270514/undoing-a-git-push>
and
<URI:http://christoph.ruegg.name/blog/2010/5/5/git-howto-revert-a-commit-already-pushed-to-a-remote-reposit.html>
among others) seemed to indicate that:

| git push origin +a4d7a62c0fc38ef5ce7b1b68f493b552d835214f:master

would revert the master branch to the last commit by Lucas.
For obvious reasons, I am quite hesitant to execute that
myself :-). I'd appreciate if someone could double-check.

Sorry again,
Tim