On 01/03/2017 07:57 PM, Magnus Hagander wrote:
On Tue, Jan 3, 2017 at 6:54 PM, Heikki Linnakangas <hlinn...@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


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

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 :-).

- Heikki

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

Reply via email to