Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Rename 'Private Repository' to 'External Source' #372

Merged
merged 1 commit into from
Apr 28, 2015

Conversation

jrfnl
Copy link
Contributor

@jrfnl jrfnl commented Apr 28, 2015

No description provided.

@jrfnl jrfnl added this to the 2.5.0 milestone Apr 28, 2015
GaryJones added a commit that referenced this pull request Apr 28, 2015
Rename 'Private Repository' to 'External Source'
@GaryJones GaryJones merged commit 9da8fb4 into develop Apr 28, 2015
@GaryJones GaryJones deleted the feature/clearer-naming branch April 28, 2015 16:21
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants