Re: move gelatod to codeberg

[Florian Obser]

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.