PG-Git usernames

On Fri, Oct 1, 2010 at 15:50, Gurjeet Singh <singh.gurjeet@gmail.com> 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 requested users/gsingh/postgres ? I hope that
doesn't cause any trouble with gitweb or anything. Or can it be allowed to
have the preiod character there?

That should be fine. I'm sure we could adapt the software to allow
periods, but there is no tie between the directory and the username,
so you can just use that. Or just "singhgurjeet" without the period.

Or you could just use github which gives you more features at the same cost ;)

--
 Magnus Hagander
 Me: http://www.hagander.net/
 Work: http://www.redpill-linpro.com/

On Fri, Oct 1, 2010 at 10:00 AM, Magnus Hagander <magnus@hagander.net>wrote:

On Fri, Oct 1, 2010 at 15:50, Gurjeet Singh <singh.gurjeet@gmail.com>
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 requested users/gsingh/postgres ? I hope that
doesn't cause any trouble with gitweb or anything. Or can it be allowed

to

have the preiod character there?

That should be fine. I'm sure we could adapt the software to allow
periods, but there is no tie between the directory and the username,
so you can just use that. Or just "singhgurjeet" without the period.

Or you could just use github which gives you more features at the

same cost ;)

I like their competitive pricing :) which is why I created a
postgres/postgres fork there and started patching while waiting for this
one.

I was assuming that having a fork here at git.pg and then referring people
to my branches would be more convenient than asking them to check them out
on github. Any merits/demerits you see with github?

Regards,
--
gurjeet.singh
@ EnterpriseDB - The Enterprise Postgres Company
http://www.EnterpriseDB.com

singh.gurjeet@{ gmail | yahoo }.com
Twitter/Skype: singh_gurjeet

Mail sent from my BlackLaptop device

On Fri, Oct 1, 2010 at 16:09, Gurjeet Singh <singh.gurjeet@gmail.com> wrote:

On Fri, Oct 1, 2010 at 10:00 AM, Magnus Hagander <magnus@hagander.net>
wrote:

On Fri, Oct 1, 2010 at 15:50, Gurjeet Singh <singh.gurjeet@gmail.com>
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 requested users/gsingh/postgres ? I hope that
doesn't cause any trouble with gitweb or anything. Or can it be allowed
to
have the preiod character there?

That should be fine. I'm sure we could adapt the software to allow
periods, but there is no tie between the directory and the username,
so you can just use that. Or just "singhgurjeet" without the period.

Or you could just use github which gives you more features at the

same cost ;)

I like their competitive pricing :) which is why I created a
postgres/postgres fork there and started patching while waiting for this
one.

:-)

I was assuming that having a fork here at git.pg and then referring people
to my branches would be more convenient than asking them to check them out
on github. Any merits/demerits you see with github?

Not really.

On the web interface, the github one provides better functionality -
for example the compare view which is a lot better than gitweb on
git.postgresql.org, particularly when checking work-in-progress
patches, IMHO.

On the git side of things, they both support the same thing - if
someone wants to merge your patch they can just add it the remote and
fetch, regardless of if it's in the github or git.pg.org repository.

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.

For a *primary* repository, there can certainly be reasons. Which is
why for example pgadmin3 has the main repository on git.postgresql.org
- but the developers who use public repos (for example Guillaume -
http://github.com/gleu) use github.

--
 Magnus Hagander
 Me: http://www.hagander.net/
 Work: http://www.redpill-linpro.com/

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
decided to change the project name to "postgres" there. I don't want to
go down that road ...

On Fri, Oct 1, 2010 at 20:23, Peter Eisentraut <peter_e@gmx.net> 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 objection is merely that it was apparently semi-unilaterally
decided to change the project name to "postgres" there.  I don't want to
go down that road ...

That's certainly my fault. It started out as an experiment only and
turned out to be quite popular. And frankly, the name thing didn't
even occur to me, since I use them completely interchangeably.

We could rename it. That'll break any clones that are on it (currently
only 8 - there are still 16 on the old one) and I think maybe also the
watchers (so far only 31 compared to 206 onthe old one).

If we're ever going to rename it, it's certainly right now.It'll only
get worse if we wait.

Renaming the repository is rather simple. As for renaming the "github
organisation" there is no way to do that from what I can tell - but we
could ask the github folks to do it manally maybe. Deleting and
re-creating will affect some pgadmin repos as well, but it won't be a
disaster (again: yet).

--
 Magnus Hagander
 Me: http://www.hagander.net/
 Work: http://www.redpill-linpro.com/