#97 optimization-repo-list

Merged
lewis merged 4 commits from optimization-repo-list into develop 2 years ago
render repo list page with data from api (including all kinds of repos instead of only user created ones)
lewis approved these changes 2 years ago
lewis merged commit 1ab7692c51 into develop 2 years ago

Reviewers

lewis approved these changes 2 years ago
The pull request has been merged as 1ab7692c51.
Sign in to join this conversation.
Loading…
There is no content yet.