Re: [COMMITTERS] pgsql: Update copyright for 2017

On 01/03/2017 07:57 PM, Magnus Hagander wrote:

On Tue, Jan 3, 2017 at 6:54 PM, Heikki Linnakangas <hlinnaka@iki.fi> wrote:

On 01/03/2017 07:49 PM, Bruce Momjian wrote:

On Tue, Jan  3, 2017 at 06:46:32PM +0100, Magnus Hagander wrote:

Is this a big enough boo that we actually want to reset the master repo
to get
rid of it?

If so, we need to do it *now* beore people get a chance to mirror it
properly..

Thoughts?

If not, just a revert should work of course..

OK, not sure how this happened but I think it has to do with my
accidentally doing a 'pull' after the changes, and doing multiple
branches.

Whatever you suggest is fine --- I will wait.

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.

Ok. Now let's wait for the fallout from the reset. This is an interesting experiment, we'll find out how many people are annoyed by a reset :-).