Thus spake Johannes Sixt: > Markus Korber schrieb: > >> revert this push if nobody has pushed something since my last pull from >> the linux repository? > > $ cd /the/linux/repo > $ git checkout 94545baded > $ git branch -f master 94545baded > $ git checkout master > > Omit the two checkouts if the repo is bare or if it did not have 'master' > checked out. Thanks a lot, that worked like a charm. 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
