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)

Thank you for your assistance. I'll let you know if I have done it.
This time I would like to make sure that the contents of the
repository to be pushed is sane and it will take a few days.
--
Tatsuo Ishii
SRA OSS, Inc. Japan
English: http://www.sraoss.co.jp/index_en.php
Japanese: http://www.sraoss.co.jp