New Widget: Codespaces

[markphip]

Suggested new feature or improvement

Provide a Codespaces widget that lists all of my Codespaces and provides options to connect, stop, delete, create, change name etc.

Scenario

Would use this as a launcher for Codespaces as well as to create new ones quickly

Additional details

Here is a similar widget created for Raycast: https://github.com/jclem/raycast-github Looking for something like this in Dev Home

[asklar]

Looking into this a bit. We'll need a codespaces api in octokit, which I am adding here: octokit/octokit.net#2722

DevHome team, ping me if/when someone wants to pick this up

We'll need to figure out if this is a widget, or part of a new page for "virtual devices" along with MDB / VMs / docker/kubernetes/...

[Aaron-Junker]

@asklar I would like to work on this, but as codespaces listed as environments and not as a widget.

[Aaron-Junker]

I already have a working prototype: