Hi Tobias, On Thu, 10 May 2012, Tobias Pietzsch wrote: > concerning "my" branches, here is what should happen to them. > > These should be deleted: Please do so, using git push <remote> :<branch1> :<branch2> [...] Ciao, Dscho