I will not go into many details on me leaving GitHub behind, because Protesilaos has already done it and I share his appreciation for SourceHut. So, without further ado, here we go:
The migration went fine. I only had a small issue with my two websites, mainly a
www to non-
www HTTP redirect not behaving as intended, but I am
investigating. For now, manueluberti.eu and
filmsinwords.eu are the new kids in town. I do not
want to spend too much time over this problem, though. If a solution does not
come up in the next few days, consider the
www gone once and for all.
As for the other repositories involved in this process, I only moved the projects I intend to actively maintain. This means that my GitHub account will remain alive sporting archived repositories, which are the ones I migrated to SourceHut, and old projects I don’t much care about any more.
Needless to say, since I still want to report bugs and file pull requests on projects hosted on GitHub I am fine keeping my account over there.