Skip to content

Changing URLs from HTTP to HTTPS #9487

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

Merged
merged 2 commits into from
Jan 8, 2020
Merged

Changing URLs from HTTP to HTTPS #9487

merged 2 commits into from
Jan 8, 2020

Conversation

luigigubello
Copy link
Contributor

I have changed the URLs from http to https. In particular the page latest.txt can be reached on both port 80 and port 443.

I have changed the URLs from `http` to `httpst`. In particular the page `latest.txt` can be reached on both port 80 and port 443.
@facchinm facchinm requested a review from cmaglie December 2, 2019 13:59
@gvarisco gvarisco assigned gvarisco and unassigned gvarisco Dec 2, 2019
@gvarisco
Copy link
Contributor

gvarisco commented Dec 2, 2019

LGTM

@gvarisco gvarisco self-requested a review December 2, 2019 16:57
@cmaglie cmaglie merged commit 5c8c353 into arduino:master Jan 8, 2020
@cmaglie cmaglie added this to the Release 1.8.11 milestone Jan 8, 2020
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.

3 participants