There's another wave of people leaving GitHub.

I left GitHub 3 years ago after using it for decade -- I think? It
doesn't show the date of registration anymore. Anyway, in 2018, I did
this:

-   Set up self-hosting on my own server.
-   Changed the default branch of all GitHub repos to "has-moved", which
   only contained a README that pointed to the new location.
-   Changed all GitHub repos to "archived".

What I did not do was to delete the actual code that was on GitHub. So
there still was a "master" branch, for example. My intention was to not
break links, but, uhm, it doesn't make a lot of sense, does it? There's
just unmaintained code on GitHub now, rotting.

Today, I fixed that. The repos still exist, but they only contain the
"has-moved" branch now. All the code has been removed from GitHub, it
lives on my server.