Thus spake Jonathan del Strother: > On Jan 10, 2008 1:15 PM, Markus Korber <korbse@xxxxxx> wrote: > >> I've got two local git repositories, linux and mplayer, where I push to >> from a local directory. Now I accidentally pushed from mplayer into the >> linux repository (via a not updated URL[1]). Is it somehow possible to >> revert this push if nobody has pushed something since my last pull from >> the linux repository? > > You can push again to revert your original push, just specifying a > different ref to push. Something like this ought to work : > > git push -f mplayer 94545bade:master > > which will update the remote 'master' branch with commit 94545bade, > which is what it was before your accidental push Unfortunately this gives: ,----[ git push -f mplayer 94545bade:master ] | error: src refspec 94545bade does not match any. | fatal: The remote end hung up unexpectedly | error: failed to push to '/prj/gitroot/linux' `---- ,----[ git --version ] | git version 1.5.3.1 `---- Regards, Markus Korber - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html