Feature: Adding Dev Container Configuration for GitHub Codespaces

[cr2007]

trafficstars

Just wanted to know if its okay to add a Dev Container configuration so that it is easier for users to easily create a Codespace and view, run the code in the codespace provided.

It's only an addition of a devcontainer.json file and that's all that will be needed.

[markmcd]

run the code in the codespace provided

The content here is largely Colab notebooks that run in their own environment. I don't really use codespaces though, so could you help me understand how this would be useful?

[github-actions[bot]]

Marking this issue as stale since it has been open for 14 days with no activity. This issue will be closed if no further activity occurs.

[cr2007]

run the code in the codespace provided

The content here is largely Colab notebooks that run in their own environment. I don't really use codespaces though, so could you help me understand how this would be useful?

This would be helpful incase someone wants to use GitHub Codespaces for interacting with the notebooks. It allows for a VS Code-like environment with all the relevant extensions (including Jupyter) loaded in the environment, allowing for the users to further customise the environment to their liking.

[markmcd]

OK cool, feel free to send me a PR so I can see what you mean. My only worry is if we would need to keep it up to date or maintain it in any way. If we can set-and-forget then SGTM.