Setup GitHub Codespaces

[snebjorn]

This adds support for GitHub Codespaces. It's pretty much a GitHub flavored Gitpod.

@wing328
@jimschubert
@cbornet
@jmini
@etherealjoy
@spacether

[snebjorn]

I got it working with a headless chromium so now it can also run JS/TS tests 🚀

I also setup a running petstore. But it doesn't seem that anything is using it so I've commented it out again. Should someone need it they can just activate it again.

[wing328]

cc @joschi as well who added Gitpod support to this repo previously

@joschi have you tried Github Codespaces? which one do you prefer?

[snebjorn]

Gitpod is probably looking into devcontianer.json support

• Epic: Support devcontainer.json gitpod-io/gitpod#7721

Then users can spin up containers where ever they please :)

[joschi]

@joschi have you tried Github Codespaces? which one do you prefer?

I have played around with GitHub codespaces a little bit. In the end it's similar (almost identical) to what Gitpod is offering.

What I like better in Gitpod is that it also works with local IDEs, i. e. VSCode Desktop or any IDE based on IntelliJ IDEA: https://www.gitpod.io/docs/references/ides-and-editors/intellij

cc @joschi as well who added Gitpod support to this repo previously

@wing328 I think you still have to add the Gitpod.io GitHub App to this repository for the prebuilds to work, like I did with openapi-diff. 😉

Original PR: #12508

[snebjorn]

What I like better in Gitpod is that it also works with local IDEs, i. e. VSCode Desktop or any IDE based on IntelliJ IDEA: https://www.gitpod.io/docs/references/ides-and-editors/intellij

Github Codespaces support local IDEs.
I'm currently using the setup from this PR to develop my recent PRs in VSCode on my local machine.