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 _______________________________________________ Emms-patches mailing list [email protected] http://lists.gnu.org/mailman/listinfo/emms-patches
