Re: new git repository request

>>> 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@git.postgresql.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?
--
Tatsuo Ishii
SRA OSS, Inc. Japan
English: http://www.sraoss.co.jp/index_en.php
Japanese: http://www.sraoss.co.jp