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

fixes #1213 #1257

Merged
merged 5 commits into from
Dec 11, 2018
Merged

fixes #1213 #1257

merged 5 commits into from
Dec 11, 2018

Conversation

Scriptkiddi
Copy link
Contributor

Also adds the possibility to only set proxy url and port

Signed-off-by: Fritz Otlinghaus <[email protected]>

Fixing docker build
@Scriptkiddi Scriptkiddi force-pushed the fix/1213 branch 4 times, most recently from 667db1d to 20270c2 Compare December 11, 2018 05:23
@aedelmann
Copy link
Contributor

Hi @Scriptkiddi Can u please check codacy and fix the issues there :) Thanks.

Signed-off-by: Fritz Otlinghaus <[email protected]>
Signed-off-by: Fritz Otlinghaus <[email protected]>
@aedelmann aedelmann merged commit 61690b5 into eclipse-vorto:development Dec 11, 2018
@Scriptkiddi Scriptkiddi deleted the fix/1213 branch December 26, 2018 10:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants