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

[JBIDE-26817] corrected url to ide-config.properties to https #652

Conversation

adietish
Copy link
Member

No description provided.

@adietish adietish self-assigned this Sep 30, 2019
@adietish adietish added this to the devex #173 milestone Sep 30, 2019
Signed-off-by: Andre Dietisheim <adietish@redhat.com>
@adietish adietish force-pushed the correct_ide-config.properties_url_to_https branch from b281ad8 to afeac97 Compare September 30, 2019 10:20
Copy link
Member

@jeffmaury jeffmaury left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM

@adietish adietish merged commit cee82ef into jbosstools:master Sep 30, 2019
@adietish adietish deleted the correct_ide-config.properties_url_to_https branch September 30, 2019 12:39
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
2 participants