Skip to content
This repository has been archived by the owner on Dec 5, 2024. It is now read-only.

Expose more API points #1057

Merged
merged 2 commits into from
Jun 14, 2019
Merged

Expose more API points #1057

merged 2 commits into from
Jun 14, 2019

Conversation

shana
Copy link
Member

@shana shana commented Jun 7, 2019

Make Repository, RepositoryManager and RepositoryWatcher public, so they can be used outside of the existing UI!

@shana shana merged commit 2802e84 into master Jun 14, 2019
@shana shana deleted the more-api branch June 14, 2019 12:24
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

1 participant