On Fri, Nov 20, 2009 at 2:44 PM, Heikki Linnakangas <heikki.linnakan...@enterprisedb.com> wrote: > Kris Jurka wrote: >> On Fri, 20 Nov 2009, Magnus Hagander wrote: >> >>> I've cleaned up the git repo, and re-enabled the mirror script. From >>> what I can tell it works fine. In theory you will need to use force >>> mode if you pulled the broken commit that was removed (the one with >>> the wrong message), but it seems this is not necessarily required. >> >> Just to clarify here, what was the point of stopping the sync script? >> Unless the sync was stopped prior to the modified commit there's no >> difference for an end user here. If they pulled the modified commit >> they've got a semi-broken repo. All that's happened is that they >> weren't able to pull newer updates as well which seems like a net loss. > > We figured it's easier to backtrack if there's no more commits on top of > the modified one. Not sure how true it really was.
FWIW, I had good luck with "git rebase origin/master". ...Robert -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers
