On Tue, Jan 31, 2012 at 07:19:16AM +0100, Julien Hardelin wrote:
> >gimp-help-factory destoyed with
> >git push origin :heads/gimp-help-factory but still visible and invalid.
> >How to get completely rid of it?
> All is right this morning. gimp-help-factory no longer exist in the
> git repository.
> Ulf, did you launch a special command for that?

No, I have just a little text file to remember how to rename or remove
remote branches:

# see http://github.com/guides/rename-a-remote-branch
# see http://github.com/guides/copy-a-remote-branch
git checkout -b temp-foo origin/foo
git push origin temp-foo:bar
git checkout -b bar origin/bar
git branch -d temp-foo
# see http://github.com/guides/remove-a-remote-branch
git push origin :foo


Jeder Staat beruht auf Macht, jede Macht auf Gewalt, und
Gewalt, sagt Einstein, zieht stets moralisch Minderwertige an.
                -- Karlheinz Deschner
gimp-docs-list mailing list

Reply via email to