[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Savannah-help-public] [sr #107682] deleting a remote branch in git
|
From: |
Michael J. Flickinger |
|
Subject: |
[Savannah-help-public] [sr #107682] deleting a remote branch in git |
|
Date: |
Tue, 03 Jul 2012 17:00:20 +0000 |
|
User-agent: |
n/a |
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.
_______________________________________________________
Reply to this item at:
<http://savannah.gnu.org/support/?107682>
_______________________________________________
Message sent via/by Savannah
http://savannah.gnu.org/