From: Gustaf Hendeby <hendeby@isy.liu.se>
Date: Mon, 01 Jun 2009 10:59:13 GMT
Subject: Re: remotely deleting a branch
Message-ID: <4A23B481.6000302@isy.liu.se>
In-Reply-To: <4A23AE5A.4040804@isy.liu.se>

This should of course have been cc to the list too...

Gustaf Hendeby wrote:
> jean-luc malet wrote:
>> hi!
>> I created a remote branch by doing
>> $ git push origin mynewbranch
>> I done some work on mynewbranch, commited, pushed changes to origin,
>> merged it to master and pushed to origin and deleted the mynewbranch
>> localy because I don't need it anymore
>> now I want to "undo" the git push origin mynewbranch ie remotely
>> delete the branch from the repository
>> I tried git push --mirror but it deleted all remote branches that I
>> didn't worked on... I don't want to have it be a mirror... but
>> something like
>> $ git branch -r -d origin/mynewbranch
>> $ git push
>>    ---> deleting origin/mynewbranch
>>
>> how shall I do that?
>> thanks
>> JLM
>>
> 
> Hi Jean-Luc!
> 
> Have a look at the help for push, you will find
> 
>   git push origin :mynewbranch
> 
> to be what you are looking for.  It is listed quite far down as an example.
> 
> /Gustaf
>