search

microsoft / devhomegithubextension

Dev Home GitHub Extension
MIT License
263 stars 39 forks source link

New Widget: Codespaces #165

Open markphip opened 1 year ago

markphip commented 1 year ago

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

screenshot-2023-02-24T14-46-12@2x

asklar commented 1 year ago

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 commented 2 months ago

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

Aaron-Junker commented 2 months ago

I already have a working prototype:

image