On Wed, Jan 26, 2011 at 11:49 AM, Bruce Momjian <bruce@momjian.us> wrote:
> Robert Haas wrote:
>> On Wed, Jan 26, 2011 at 11:26 AM, Bruce Momjian <bruce@momjian.us> wrote:
>> > For those of you using git, I wanted to point out that it is fairly easy
>> > to remove git branches. ?For example, I can easily remove a branch on
>> > my github repository using:
>> >
>> > ? ? ? ?$ git branch -d :branch_name
>> >
>> > I don't believe that is revertable. ?What is scarey is that this could
>> > be done on our 'origin' as well.
>>
>> The colon in that syntax is flat wrong. But branch deletes won't
>
> Sorry, I was wrong. The syntax is:
>
> pggit push github :branch_name
>
> which is even easier to mistype.
Yeah, true. It's good to avoid inserting a spurious colon there.
Fortunately, that only removes it from the *remote* side, so in the
event that you want to put it back, you can just rerun the command
without the colon.
--
Robert Haas
EnterpriseDB: http://www.enterprisedb.com
The Enterprise PostgreSQL Company
