Hi, On Thu, Apr 11, 2013 at 04:25:18PM +0300, Samuli Seppänen wrote: > As long as nobody is actually using the staging repo rewriting history > should not be an issue. Perhaps one could just do > > $ git reset --hard HEAD^1 > $ git push origin master > > and be done with it?
Will that un-push already-pushed commits? Or just have "one commit less
than $remote" in your local repo?
(You see that I still do not understand all of the subtleties of git)
gert
--
USENET is *not* the non-clickable part of WWW!
//www.muc.de/~gert/
Gert Doering - Munich, Germany g...@greenie.muc.de
fax: +49-89-35655025 g...@net.informatik.tu-muenchen.de
pgpn0bF4T0V3X.pgp
Description: PGP signature
