rich1.0Derek Ross (npub18a…tp424)https://nostr.ae/npub18ams6ewn5aj2n3wt2qawzglx9mr4nzksxhvrdc4gzrecw7n5tvjqctp424njumphttps://nostr.aeLeaving GitHub can be hard, but it's not impossible. You just gotta do it one repo at a time. Here's our story and the tools we're using. https://soapbox.pub/blog/leaving-github