Hi, 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? (Or can I just copy the .git/objects/ directory over to the repository?) ,----[ .git/remotes/mplayer [1]] | URL: /prj/gitroot/linux | Push: +master:master `---- ,----[ git push mplayer ] | updating 'refs/heads/master' | from 94545baded0bfbabdc30a3a4cb48b3db479dd6ef | to 9085d919f7954ad629447157f054e55230513936 | Generating pack... | Done counting 3240 objects. | Deltifying 3240 objects... | 100% (3240/3240) done | Writing 3240 objects... | 100% (3240/3240) done | Total 3240 (delta 774), reused 0 (delta 0) | refs/heads/master: 94545baded0bfbabdc30a3a4cb48b3db479dd6ef -> 9085d919f7954ad629447157f054e55230513936 `---- 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
