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.

Sign up for GitHub

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

Jump to bottom

Need a --remote flag #7

Closed
yoogx opened this issue Nov 16, 2016 · 0 comments
Closed

Need a --remote flag #7

yoogx opened this issue Nov 16, 2016 · 0 comments
Assignees
@yoogx
Labels
enhancement

Comments

@yoogx
Copy link
Contributor

yoogx commented Nov 16, 2016

In its current form, the script fetches source from github, add a --remote flag to specify a remote server different from github
@yoogx yoogx self-assigned this Nov 16, 2016
yoogx added a commit that referenced this issue Dec 23, 2016
@yoogx
* Add support for --remote flag
216ac42 
        For issue #7
@yoogx yoogx closed this as completed Dec 23, 2016
@yoogx yoogx mentioned this issue Dec 23, 2016
Closed
yoogx added a commit that referenced this issue Dec 23, 2016
@yoogx
* Also use --remote to fetch runtimes
b5ed507 
        For issue #7
@yoogx yoogx changed the title Need a --remote flag Need a --remote flag Jan 6, 2017
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@yoogx yoogx

Labels
enhancement
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@yoogx