Re: move gelatod to codeberg

Thanks, this is in know.

How long should I leave the github repo in place? Do bulk builders care?
This is also not the most important package in the world...

--
In my defence, I have been left unsupervised.