[Emms-patches] Re: Sorry ...

[Lucas Bonnet]

Tim Landscheidt <address@hidden> writes:

> Okay, I've done some testing with a remote repository. "git
> reset --hard $UUID && git push" will fail with:
>
> |  ! [rejected]        master -> master (non-fast forward)
>
> but the already mentioned:
>
> | git push origin +a4d7a62c0fc38ef5ce7b1b68f493b552d835214f:master
>
> will work just fine as far as I can tell (you could probably
> combine both, i. e. "git reset --hard $UUID && git push
> origin +:master", but I find the explicit naming of the com-
> mit to reset to much more affirmative :-)).
>
>   If no one objects, I'd like to go ahead with this tomorrow
> (Friday) afternoon UTC. (I have made a backup copy of the
> repository :-).)

You are clear to "git push origin", I repeat, your are clear to git
push.

I didn't think you'd take my advice about breaking things this literally :)

Looks like it's time for me to dive into git from a developer's
perspective.


Regards,
-- 
Lucas

pgpemmbmWmWaX.pgp
Description: PGP signature