Re: [HACKERS] [COMMITTERS] pgsql: Update copyright for 2017

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  <bruce@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 +