Re: Do we have a guile-1.8 branch?

[Ludovic Courtès]

Hi Noah,

Noah Lavine <address@hidden> 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’.