Re: How to revert commit in git?

[bruno <annoa b gmail com>]

Le jeudi 15 septembre 2011 à 13:01 +0200, Daniel Mustieles García a écrit :
>     Hi all,
>     
>     By mistake, I've pushed a wrong file to git. I wanted to update gtranslator/help/es.po, but I've modified (and pushed) po/es.po.
>     
>     Now, I dont know hot to revert this commit, in order to get the previous po/es.po file.
>     
>     Could you please help me?
>     
I would have said :
http://live.gnome.org/TranslationProject/GitHowTo#How_do_I_revert_.28undo.29_a_published_commit.3F

That's the reference Claude gave me for committing

Bruno

>     Many thanks ando sorry for the incovenience
> _______________________________________________
> gnome-i18n mailing list
> gnome-i18n gnome org
> http://mail.gnome.org/mailman/listinfo/gnome-i18n