Re: new git repository request

On Sun, Oct 30, 2011 at 12:17, Tatsuo Ishii <ishii(at)sraoss(dot)co(dot)jp> wrote:
>>>> One question. I would like to create an authoritative pgpool
>>>> repository on git.postgresql.org. In my understanding, I need to run:
>>>>
>>>> $ cd somewhere
>>>> $ git clone --bare git://git..... pgpool2.git
>>>>
>>>> on git.postgresql.org. How can I do this?
>>>
>>> No need to do any of this. The system has already prepared the
>>> repository for you, you can just clone it. E.g. "git clone
>>> ssh://git(at)git(dot)postgresql(dot)org/pgpool2.git". Or you can add that as a
>>> remote and push into it.
>>>
>>> (note that it has to be the ssh protocol - the git protocol is only
>>> allowed for pulling, not pushing)
>>
>> Oh great! I have succeeded in cloning. Thanks!
>
> I think I need to re-initialize pgpool2.git again because I screwed up
> the contens of the repository. The "Delete this repository" link web
> gui (https://git.postgresql.org/adm/repo/147/) can be used for this
> purpose?

Yes, tha tcan be used, and then you re-apply for a new one. Let me
know when you've done that, and I'll make sure it's appoved right
away.

(you need to wait a while before you create the new one - I think half
an hour or so)

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