On Fri, Oct 1, 2010 at 20:23, Peter Eisentraut wrote:
> On fre, 2010-10-01 at 16:26 +0200, Magnus Hagander wrote:
>> Personally, I don't see any advantage at all of git.postgresql.org
>> over github for a development repository. Others may have different
>> opinions, of course.
>
> My personal obj
On fre, 2010-10-01 at 16:26 +0200, Magnus Hagander wrote:
> Personally, I don't see any advantage at all of git.postgresql.org
> over github for a development repository. Others may have different
> opinions, of course.
My personal objection is merely that it was apparently semi-unilaterally
decid
On Fri, Oct 1, 2010 at 16:09, Gurjeet Singh wrote:
> On Fri, Oct 1, 2010 at 10:00 AM, Magnus Hagander
> wrote:
>>
>> On Fri, Oct 1, 2010 at 15:50, Gurjeet Singh
>> wrote:
>> > I hope this is the right forum to talk about git.postgresql.org
>> >
>> > My community login is singh.gurjeet, but our s
On Fri, Oct 1, 2010 at 10:00 AM, Magnus Hagander wrote:
> On Fri, Oct 1, 2010 at 15:50, Gurjeet Singh
> wrote:
> > I hope this is the right forum to talk about git.postgresql.org
> >
> > My community login is singh.gurjeet, but our setup seems to not like the
> > special character there; users/si
On Fri, Oct 1, 2010 at 15:50, Gurjeet Singh wrote:
> I hope this is the right forum to talk about git.postgresql.org
>
> My community login is singh.gurjeet, but our setup seems to not like the
> special character there; users/singh.gurjeet/postgres is rejected.
>
> Would it be a problem if I requ
I hope this is the right forum to talk about git.postgresql.org
My community login is singh.gurjeet, but our setup seems to not like the
special character there; users/singh.gurjeet/postgres is rejected.
Would it be a problem if I requested users/gsingh/postgres ? I hope that
doesn't cause any tr
