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鈥檒l occasionally send you account related emails.

Already on GitHub? Sign in to your account

Replacing http:// with https:// #559

Merged
merged 1 commit into from Dec 24, 2021
Merged

Replacing http:// with https:// #559

merged 1 commit into from Dec 24, 2021

Conversation

dfa1
Copy link
Contributor

@dfa1 dfa1 commented Dec 22, 2021

What problem does this pull request solve?

Switching to HTTPS for most URLs

Please provide any additional information below.

NOTE

  • Please run mvn spotless:apply to format the code before opening a PR. Otherwise, GitHub Actions will complain at you 馃槈. Unfortunately, you will need to have Node installed to do so.
  • Mutation tests will be run by PITest after opening the PR. It will post comments in the PR for each issue found. Please take a look at them, but if the comments don't make sense, please don't worry about them.

@github-actions
Copy link
Contributor

Looks good. No mutations were possible for these changes.
Mutation testing report generated by PITest - https://pitest.org - if there are surviving mutants, please check the line comments under 'Files changed', or the full report under the 'CI / pitest' check below this comment.

@github-actions
Copy link
Contributor

Looks good. No mutations were possible for these changes.
Mutation testing report generated by PITest - https://pitest.org - if there are surviving mutants, please check the line comments under 'Files changed', or the full report under the 'CI / pitest' check below this comment.

@jqno
Copy link
Owner

jqno commented Dec 24, 2021

Sorry for the late reply.
Thanks for this PR! I never thought to do this, especially the ones in the Java code itself...

@jqno jqno merged commit 6d63831 into jqno:main Dec 24, 2021
pom.xml Show resolved Hide resolved
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.

None yet

3 participants