I wouldn't get too attached to this tool, folks. Github lawyers are not going to be happy with this domain directly infringing on their copyright and are almos

I wouldn't get too attached to this tool, folks. Github lawyers are not going to be happy with this domain directly infringing on their copyright and are almost certainly at this very minute sending cease and desists. Even if they like the tool and want to see it succeed, the domain is a bit of a fishing and spam risk for them. Best case Github tells them to knock it off and suggests a different domain they use. Gitpod has been around for a few years and offers the exact same service but on a more distinct gitpod.io domain: https://www.gitpod.io/docs/getting-started/#prefixed-url https://www.gitpod.io/docs/getting-started/#prefixed-url