

GitHub is often used as a code mirror, with the actual repo and builds being hosted elsewhere.
Shelter, as in the work profile app? It shows up on Droid-ify for me, and a check of the Links section confirms it’s hosted on a different repo (gitea.angry.im).
Found this to be an interesting read, and well written. Thanks for sharing it.