Hello folks, any news concerning this?
Thanks, Adrian. On 02/10/2013 01:39 PM, Adrián wrote: > Hello, > > following the indications published here[1], I chose the following task: > > task #12149: please delete master branch for FreeON project > > https://savannah.gnu.org/task/?12149 > > (Note I chose this old task mainly because the others are quite > similar). > > My answer will be: > > *************************************************** > > Hello Nico, > > I am writing you concerning the Savannah administration task#12149 (I am > helping with the tasks there). > > You have the required git instructions available here: > > http://savannah.gnu.org/maintenance/UsingGit > > ----- > *Removing a branch* > > We don't really like this, but there's a way to remove remote > branches. We don't like it because this allow project members to > potentially remove free software from Savannah, willingly or by > mistake. This is mitigated by the fact it is very easy to push back > changes. > > When removing a branch, only its reference is removed, and the commit > are still reachable by their identifiers. However, Savannah may prune > unreachable commits (git gc), so don't count on this. > > To remove a branch: > > git push origin :mybranch > > [...] > ----- > > Before to try this, please create just in case another branch remotely: > > git push origin master:backup > > Then continue: > > git push origin :master (this will delete the master branch remotely) > > And finally push it back: > > git push origin master (this will bring it back) > > (You can of course delete the backup branch following the same method, once > you pushed master). > > That should work. > > If still not working, please let us know. > > Regards, > > Adrian. > > 1 - http://savannah.gnu.org/maintenance/HowToBecomeASavannahHacker