Re: move gelatod to codeberg

[Theo Buehler]

> How long should I leave the github repo in place? Do bulk builders care?

Since the distfile checksum didn't change, they don't care. Everyone
else is expected to build ports from a current tree. I think you can
nuke it whenever you feel like it.