Re: [Gimp-docs] User manual 2.7 download

["Ulf-D. Ehlert" <ulf wogdog site>]

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