Follow-up Comment #5, sr #107682 (project administration):
Is there any way to help with that? Really it is awkward to wait a year to
delete a branch or a tag. Is there any way to help solving it without moving
the project out of savanah?
Follow-up Comment #6, sr #107682 (project administration):
Branch (finston_0) is now manually deleted. You should have been able to
delete this yourself, via git, but something (git-wise) was buggy.
I apologize for the delay.
Let me know if it's OK to close this issue now.
Follow-up Comment #7, sr #107682 (project administration):
The issues isn't just a branch. I often need to reorganize delete or replace
old branches and the savannah git doesn't allow this stuff. For example I
wanted to reset the gnutls_3_0_x branch because it got out-of-sync with
master, and
