Closed
Description
Bug description
When you want to add a repository as a new Project in Gitpod, Gitpod first gets the list of all the possible repositories you could add (grouped by account), and then lets you find the repository you want to add via scrolling or searching/filtering.
Unfortunately, in the case of GitLab, we only fetch the first 100 repositories that you could add:
This is a problem, because if you want to add a specific repository that is not present in the first 100 repositories returned by GitLab, you will never be able to see it or find it in the Gitpod UI -- thus adding it as a project is totally impossible.
Steps to reproduce
- Be a maintainer of more than 100 GitLab repositories
- Try to create a new project for a repository that is not listed in the first 100 results returned by GitLab
Workspace affected
No response
Expected behavior
- You should always be able to create a new project for a GitLab repository that you're a maintainer of (even if it's not in the first 100 results from GitLab)
Example repository
No response
Anything else?
Possible solutions:
- Paginate the GitLab API call in order to fetch more than just the first 100 repositories
- Allow creating projects by manually entering a repository URL
Metadata
Metadata
Assignees
Type
Projects
Status
Done