Currently GitLab repos and GitHub repos are listed in separate lists. This means, the user has to process a search at both locations for a result, if the question is for example "who works with dspace".
This is not optimal - we should better use one list, that contains GitLab repos as well as GitHub repos.
Currently GitLab repos and GitHub repos are listed in separate lists. This means, the user has to process a search at both locations for a result, if the question is for example "who works with dspace".
This is not optimal - we should better use one list, that contains GitLab repos as well as GitHub repos.