PostgreSQL GIT mirror status

The PostgreSQL GIT mirror at git.postgresql.org/git/postgresql.git was 
screwed up on Dec 13th. All the history up to that date was duplicated 
four times, and strange "fixup" commits appeared in back-branches. In 
addition, there was the old issue that back-branches were not being updated.

Both issues have now been fixed. The repository was "reset" to the 
situation before the screwup on Dec 13th, and all the patches after that 
were reapplied.

This means that if you have a clone that has been updated (pulled) since 
that date, the next time you issue fetch or pull, it will fail, 
complaining about "non fast-forward" updates. You will need to use the 
--force option to force it.

If you have any local branches in your repository, you will need to 
rebase them over the new head. With something like:
  git-rebase origin/master


Let's hope that the script can now keep the mirror up-to-date without 
manual intervention. Let me know if there's problems.

--   Heikki Linnakangas  EnterpriseDB   http://www.enterprisedb.com