[savannah-help-public] [sr #107682] deleting a remote branch in git

2017-02-17 Thread Assaf Gordon
Follow-up Comment #18, sr #107682 (project administration): (Picking up an old ticket, about deleting remote branches) Hello Nikos, With git-2.10.2 (on the client side), I'm able to delete branches on savannah's server: $ git push origin --delete my-other-branch This will not work for

[savannah-help-public] [sr #107682] deleting a remote branch in git

2016-04-26 Thread Nikos Mavrogiannopoulos
Follow-up Comment #16, sr #107682 (project administration): I add new features in feature branches like "simpler-decoding" in the libtasn1 project. However I cannot fast forward this branch as I rewrite the original patch: $ git push -f Total 0 (delta 0), reused 0 (delta 0) remote: error:

[savannah-help-public] [sr #107682] deleting a remote branch in git

2016-04-25 Thread Bob Proulx
Update of sr #107682 (project administration): Status:Done => Need Info Open/Closed: Closed => Open ___ Follow-up Comment #15: There is

[savannah-help-public] [sr #107682] deleting a remote branch in git

2016-04-25 Thread Nikos Mavrogiannopoulos
Follow-up Comment #14, sr #107682 (project administration): I don't quite understand the reasoning behind the closing of this issue. Was it resolved? Anyway the only way to resolve issues with savanah is by taking projects from it. It sounds harsh but if I cannot delete branches, nor fast forward

[savannah-help-public] [sr #107682] deleting a remote branch in git

2016-04-24 Thread Bob Proulx
Update of sr #107682 (project administration): Status: In Progress => Done Assigned to: mjflick => rwp Open/Closed:Open => Closed

[savannah-help-public] [sr #107682] deleting a remote branch in git

2015-05-18 Thread Tanya
Follow-up Comment #12, sr #107682 (project administration): Want to delete your Skype account? You can do it easy! http://www.joydownload.com/how-to/delete-skype - here is a light manual which will help you. ___ Reply to this item at:

[savannah-help-public] [sr #107682] deleting a remote branch in git

2013-08-09 Thread John Schmidt
Follow-up Comment #11, sr #107682 (project administration): Can we close this out? ___ Reply to this item at: http://savannah.gnu.org/support/?107682 ___ Message sent via/by Savannah

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2012-07-05 Thread Nikos Mavrogiannopoulos
Follow-up Comment #10, sr #107682 (project administration): I don't think that fast forward is a good thing. Let's wait until the rep. manager then. Karl hello. I know and I feel guilty for not helping, but I'm really out of time. If helping now and then is acceptable I could, but I cannot really

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2012-07-04 Thread Adrian Mariano
Follow-up Comment #9, sr #107682 (project administration): Nikos - by the way, if you have any interest in adding another hat to your tasks and helping with savannah administration, that'd surely be welcome. best, karl ___ Reply to this

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2012-07-03 Thread Nikos Mavrogiannopoulos
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?

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2012-07-03 Thread Michael J. Flickinger
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.

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2012-07-03 Thread Nikos Mavrogiannopoulos
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

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2011-08-12 Thread Nikos Mavrogiannopoulos
Follow-up Comment #4, sr #107682 (project administration): Hello is there any update on the issue? ___ Reply to this item at: http://savannah.gnu.org/support/?107682 ___ Message sent via/by

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2011-05-23 Thread anonymous
Follow-up Comment #2, sr #107682 (project administration): It is gnutls. I tried to delete the branch finston_0. ___ Reply to this item at: http://savannah.gnu.org/support/?107682 ___

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2011-05-23 Thread Michael J. Flickinger
Update of sr #107682 (project administration): Status: Need Info = In Progress ___ Follow-up Comment #3: Thanks, Investigating issue.

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2011-05-22 Thread Michael J. Flickinger
Update of sr #107682 (project administration): Status:None = Need Info Assigned to:None = mjflick ___ Follow-up Comment #1: This puzzles

[Savannah-help-public] [sr #107682] deleting a remote branch in git

2011-05-07 Thread Nikos Mavrogiannopoulos
URL: http://savannah.gnu.org/support/?107682 Summary: deleting a remote branch in git Project: Savannah Administration Submitted by: nmav Submitted on: Sun 08 May 2011 12:34:14 AM EEST Category: Developer CVS