Hi Noah, Noah Lavine <noah.b.lav...@gmail.com> skribis:
> Yes, I was just wondering if that was the right place to send Guile > 1.8 bugfixes. I went ahead and committed two new fixes to that branch. > They both fix build errors on my system. Good. > Unfortunately, I also made a new branch in our repository called > 'release-1.8' because of a git error. It is an exact copy of that > branch. I want to remove the tag from the Savannah repository, because > it is useless and potentially very confusing. Is that the right thing > to do here? If so, is there a way to do it? Yes, please remove the ‘release-1.8’ branch. Something like ‘git push origin :release-1.8’ should work (search for “delete” in git-push(1).) Thanks, Ludo’.
