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 Ulf -- 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 gimp-docs-list@xxxxxxxxx http://mail.gnome.org/mailman/listinfo/gimp-docs-list
