On [Thu, 18.10.2007 13:27], Slava Semushin wrote:
> 2007/10/18, Dmitry V. Levin <ldv / altlinux.org>:
> [...]
> > Обычно так не делают.  Если коммит
> > 5e61364543f9679be6ad306e44175ccedc3499a7 не был опубликован, то применять
> > к нему git revert нет смысла.  Можно просто удалить этот коммит, или с
> > помощью git reset, или с помощью git commit --amend.
> 
> А что будет, в случае если коммит был опубликован?

Если вы уверены, что его никто не успел смержить/спулить, то можно сделать
git push -f

-- 
Regards,  Kirill A. Shutemov
 + Belarus, Minsk
 + Velesys LLC, http://www.velesys.com/
 + ALT Linux Team, http://www.altlinux.com/