@Mr. Cliff, B.Sc. ๐จ๐ฆ๐ฑ๐ง has a point. GitHub is a single point of failure, one of the most anti-nostr things out there. At the very least, everything should have an alternative repo that is kept in ready to go state.
Not that these are Derek's or even Alex's "apps".