From: Markus Korber <korbse@gmx.at>
Date: Mon, 14 Jan 2008 10:39:55 GMT
Subject: Re: Revert git push
Message-ID: <6z7iicpu6c.fsf@odpc25.int.ondemand.co.at>
In-Reply-To: <478627E2.4060808@viscovery.net>

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