easier ways of making a workspace

[Rexogamer]

Hey! Gitpod has been very useful for me, and I think the current system for creating workspaces works fine enough (on desktop at least). However, I have two suggestions for making it quicker and easier (especially on mobile):

• maybe some sort of github/gitlab search on the workspaces list?
• for commonly used services, a shorthand could be gitpod.io/service/org/repo (so for example, this repo would be gitpod.io/github/gitpod-io/gitpod)

Again, thanks for making this! Especially for those without reliable computer access, this is a very useful app.

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

[Rexogamer]

I'm thinking about working on this one - where exactly would I get started?

[geropl]

Hi @Rexogamer ,

there currently is a wider effort on re-vamping the complete dashboard (see PR #3295). The first step will not include a lot of new features, though. I will forward your issue to the team working on that.

[svenefftinge]

Hey @Rexogamer, could you outline the two ideas in more detail? I don't think I understand them.

[Rexogamer]

Sure Sven! So my first idea was a search function on the site, so I could type in a repo name and get a list of results (eg I could search for "gitpod" and find all repo results); alternatively, maybe the ability to sort through my personal repositories as a list?

The second was basically the ability to shorten the links a bit (instead of typing out gitpod.io/#https://github.com/gitpod-io/gitpod, I could just type gitpod.io/github/gitpod-io/gitpod or something similar). Hope this helps!

[csweichel]

side note: gitpod.io/#github.com/gitpod-io/gitpod works today already

[stale]

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.