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