I have not thought about this, but Mike seems to have a point here https://mikegerwitz.com/about/githubbub. Maybe I should switch all my projects from github.com to my own gitea or to envs.net?