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. -- Heikki Linnakangas EnterpriseDB http://www.enterprisedb.com -- Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org) To make changes to your subscription: http://www.postgresql.org/mailpref/pgsql-hackers