It'll be interesting to see how things evolve over time though – with https://github.dev/github/dev it seems like Github is trending towards trying to solve similar problems as Vercel or Replit.