* remotely deleting a branch
@ 2009-06-01 10:16 jean-luc malet
[not found] ` <4A23AE5A.4040804@isy.liu.se>
2009-06-01 11:02 ` John Tapsell
0 siblings, 2 replies; 3+ messages in thread
From: jean-luc malet @ 2009-06-01 10:16 UTC (permalink / raw)
To: git
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
--
KISS! (Keep It Simple, Stupid!)
(garde le simple, imbécile!)
"mais qu'est-ce que tu m'as pondu comme usine à gaz? fait des choses
simples et qui marchent, espèce d'imbécile!"
-----------------------------
"Si vous pensez que vous êtes trop petit pour changer quoique ce soit,
essayez donc de dormir avec un moustique dans votre chambre." Betty
Reese
http://www.grainesdechangement.com/citations.htm
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: remotely deleting a branch
[not found] ` <4A23AE5A.4040804@isy.liu.se>
@ 2009-06-01 10:59 ` Gustaf Hendeby
0 siblings, 0 replies; 3+ messages in thread
From: Gustaf Hendeby @ 2009-06-01 10:59 UTC (permalink / raw)
To: jean-luc malet; +Cc: git
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
>
^ permalink raw reply [flat|nested] 3+ messages in thread
* Re: remotely deleting a branch
2009-06-01 10:16 remotely deleting a branch jean-luc malet
[not found] ` <4A23AE5A.4040804@isy.liu.se>
@ 2009-06-01 11:02 ` John Tapsell
1 sibling, 0 replies; 3+ messages in thread
From: John Tapsell @ 2009-06-01 11:02 UTC (permalink / raw)
To: jean-luc malet; +Cc: git
2009/6/1 jean-luc malet <jeanluc.malet@gmail.com>:
> 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?
Yeah, it's pretty confusing on how to delete a remote branch. The
magic command is:
git push origin -f :mynewbranch
Hopefully someone will figure out a way to make git a bit more
intuitive in this respect. Maybe a remote option for git branch -d or
something.
John
^ permalink raw reply [flat|nested] 3+ messages in thread
end of thread, other threads:[~2009-06-01 11:22 UTC | newest]
Thread overview: 3+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2009-06-01 10:16 remotely deleting a branch jean-luc malet
[not found] ` <4A23AE5A.4040804@isy.liu.se>
2009-06-01 10:59 ` Gustaf Hendeby
2009-06-01 11:02 ` John Tapsell
Code repositories for project(s) associated with this public inbox
https://80x24.org/mirrors/git.git
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for read-only IMAP folder(s) and NNTP newsgroup(s).