Finally started the process of migrating my repositories off of GitHub. There's not much of significance to anybody else, so I think it will be straightforward. Public stuff to #Codeberg and private stuff to a self-hosted #Forgejo I think (have not set that up yet).