Revert git push
- From
- Markus Korber <korbse@gmx.at>
- Date
- Jan 10, 2008, 13:15 UTC
- Message-ID
- <6zve61q0t3.fsf@odpc25.int.ondemand.co.at>
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