Welcome SourceHut

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.