On Fri, Sep 04, 2015 at 08:02:27PM +0200, Bert Timmerman wrote: > Vladimir Zhbanov wrote: > >Hi, there. > > > >I've reviewed and merged the patch-set by Riccardo Lucchese, which had > >been added as a separate branch by Roland Lutz. Looking through the > >patches I've decided to change their order and cherry-pick them > >one-by-one. The work has been completed by 'ours' merge. Doing so, I > >thought of removing the old branch. Having obsolete, merged, unneeded > >branches in the repository seems to be inconvenient. > > > >So, I've some related questions: > >1) Is there any way for a mere mortal developer to remove an unneeded > >branch? > >2) If not, could anybody other remove the 'origin/riccardo-lucchese' > >branch? > >3) Some patches are not included yet. They require bumping of glib or > >gtk+ versions. What are our plans in respect of moving geda-gaf further > >towards using more recent lib versions? > > > >Thanks, > > Vladimir > > > Hi Vladimir, > > If this branch is in your local repo do: > > git branch -D riccardo-lucchese > > If this branch lives in a remote repo do: > > git push <remote> :riccardo-lucchese
Thank you, Bert! The command that worked is: git push origin :riccardo-lucchese Thanks, Vladimir -- Mailing list: https://launchpad.net/~geda-developers Post to : [email protected] Unsubscribe : https://launchpad.net/~geda-developers More help : https://help.launchpad.net/ListHelp
