On Tue, Jan  3, 2017 at 06:57:44PM +0100, Magnus Hagander wrote:
>     I'm leaning for +1 for resetting. It'll be a pain for any mirrors of the
>     repo, but I think the clean history is worth it.
> It seems bruce pushed a whole bunch of merge conflicts, and possibly more. I
> think his commit sscripts are badly broken.
> I've pushed a reset to the master repo. Working on the mirror now.

Yeah, I was doing parallel pulls of different branches in git via shell
script, and it seems the size of this commit showed me that doesn't
work.  Sorry.

  Bruce Momjian  <br...@momjian.us>        http://momjian.us
  EnterpriseDB                             http://enterprisedb.com

+ As you are, so once was I.  As I am, so you will be. +
+                      Ancient Roman grave inscription +

Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:

Reply via email to