Excerpts from Magnus Hagander's message of jue nov 25 05:46:49 -0300 2010:
> On Wed, Nov 24, 2010 at 23:54, Tom Lane wrote:
> > Its not so much the moderation load, as I don't like being blindsided by
> > commits that touch everything in sight. Finding out only when you try
> > to do git push (a
On Wed, Nov 24, 2010 at 23:54, Tom Lane wrote:
> Magnus Hagander writes:
>> On Wed, Nov 24, 2010 at 23:45, Tom Lane wrote:
>>> Alvaro Herrera writes:
This was stuck in the moderation queue because of message size limit (30
kB). Is it worth increasing that value?
>>>
>>> Evidently we
Magnus Hagander writes:
> On Wed, Nov 24, 2010 at 23:45, Tom Lane wrote:
>> Alvaro Herrera writes:
>>> This was stuck in the moderation queue because of message size limit (30
>>> kB). Is it worth increasing that value?
>>
>> Evidently we should. pgindent and copyright-update commits are like
Magnus Hagander wrote:
> On Wed, Nov 24, 2010 at 23:45, Tom Lane wrote:
> > Alvaro Herrera writes:
> >> Excerpts from Peter Eisentraut's message of mar nov 23 17:52:18 -0300 2010:
> >>> Remove useless whitespace at end of lines
> >
> >> This was stuck in the moderation queue because of message si
On Wed, Nov 24, 2010 at 23:45, Tom Lane wrote:
> Alvaro Herrera writes:
>> Excerpts from Peter Eisentraut's message of mar nov 23 17:52:18 -0300 2010:
>>> Remove useless whitespace at end of lines
>
>> This was stuck in the moderation queue because of message size limit (30
>> kB). Is it worth i
Alvaro Herrera writes:
> Excerpts from Peter Eisentraut's message of mar nov 23 17:52:18 -0300 2010:
>> Remove useless whitespace at end of lines
> This was stuck in the moderation queue because of message size limit (30
> kB). Is it worth increasing that value?
Evidently we should. pgindent a
