git/list[1] front-page[2] threads[3] people[4] search[5] about
 

Re: Revert git push

From
MKMarkus Korber <korbse@gmx.at>
Date
Jan 14, 2008, 10:39 UTC
Message-ID
<6z7iicpu6c.fsf@odpc25.int.ondemand.co.at>
In-Reply-To
<478627E2.4060808@viscovery.net>
Thus spake Johannes Sixt:
Show 12 quoted lines
> 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

Previous: Johannes Sixt
Message 5 of 5 in “Revert git push”
  1. Markus KorberJan 10, 2008
  2. Jonathan del StrotherJan 10, 2008
  3. Markus KorberJan 10, 2008
  4. Johannes SixtJan 10, 2008
  5. Markus KorberJan 14, 2008

Read the whole thread, see it on lore, or plain text.

$ cat FOOTERMessages come from the public archive at lore.kernel.org/git, fetched every hour. The front page is chosen and written each morning by an AI editor and can be wrong; the threads themselves are the record. About and API. For agents: an MCP server at https://gitlist.dev/mcp, and any thread, story or person page as Markdown by adding .md to its URL (or sending Accept: text/markdown). Details in /llms.txt.