On 2017-01-03 13:02:28 -0500, Bruce Momjian wrote:
> 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.
Shouldn't you check the results of something like this before pushing?
Sorry for piling
At 2017-01-03 18:46:32 +0100, mag...@hagander.net wrote:
>
> Thoughts?
I think we should stop making wholesale changes to copyright notices
every year.
-- Abhijit
--
Sent via pgsql-hackers mailing list (pgsql-hackers@postgresql.org)
To make changes to your subscription:
http://www.postgresql.o
Magnus Hagander writes:
> On Tue, Jan 3, 2017 at 7:33 PM, Tom Lane wrote:
>> Somehow the reset is clobbering local configuration on some members?
> I doubt that. I think that was probably never configured, it just didn't
> show up when everything was working.
> I don't know what the buildfarm r
On Tue, Jan 3, 2017 at 7:33 PM, Tom Lane wrote:
> Magnus Hagander writes:
> >> 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 :-).
>
> > I bet a number of buildfarm machines will dislike it :(
>
>
Magnus Hagander writes:
>> 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 :-).
> I bet a number of buildfarm machines will dislike it :(
Early returns don't look good, eg on termite
From git:
Magnus Hagander writes:
> On Tue, Jan 3, 2017 at 6:59 PM, Heikki Linnakangas wrote:
>> 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 :-).
> Yeah, and how many had time to pull. It was only out there
On Tue, Jan 3, 2017 at 6:59 PM, Jim Nasby wrote:
> On 1/3/17 11:57 AM, Magnus Hagander wrote:
>
>> I've pushed a reset to the master repo. Working on the mirror now.
>>
>
> Please don't forget github. :)
>
> Handled, thanks for the reminder.
--
Magnus Hagander
Me: http://www.hagander.net/
W
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 h
On Tue, Jan 3, 2017 at 6:59 PM, Heikki Linnakangas wrote:
> On 01/03/2017 07:57 PM, Magnus Hagander wrote:
>
>> On Tue, Jan 3, 2017 at 6:54 PM, Heikki Linnakangas
>> wrote:
>>
>> On 01/03/2017 07:49 PM, Bruce Momjian wrote:
>>>
>>> On Tue, Jan 3, 2017 at 06:46:32PM +0100, Magnus Hagander wrote:
On 01/03/2017 07:57 PM, Magnus Hagander wrote:
On Tue, Jan 3, 2017 at 6:54 PM, Heikki Linnakangas 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
On 1/3/17 11:57 AM, Magnus Hagander wrote:
I've pushed a reset to the master repo. Working on the mirror now.
Please don't forget github. :)
--
Jim Nasby, Data Architect, Blue Treble Consulting, Austin TX
Experts in Analytics, Data Architecture and PostgreSQL
Data in Trouble? Get it in Treble!
On Tue, Jan 3, 2017 at 6:54 PM, Heikki Linnakangas 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
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
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 wor
14 matches
Mail list logo