Skip to content
This repository has been archived by the owner on Nov 6, 2023. It is now read-only.

planet.gnu.org #14890

Closed
davidhedlund opened this issue Mar 12, 2018 · 4 comments
Closed

planet.gnu.org #14890

davidhedlund opened this issue Mar 12, 2018 · 4 comments

Comments

@davidhedlund
Copy link

Type: new ruleset

Redirect http://planet.gnu.org/ to https://planet.gnu.org/

@https-everywhere-bot
Copy link

Thanks for your contribution to HTTPS Everywhere! Unfortunately, I wasn't able to understand your submission. Here are the problems I ran into:

  • Submission is missing domain information

If you edit your issue, I'll try again and report back if I have problems again.

@davidhedlund
Copy link
Author

Type: new ruleset
Domain: planet.gnu.org

@cschanaj
Copy link
Collaborator

See #14891

@davidhedlund
Copy link
Author

davidhedlund commented Mar 12, 2018

@cschanaj Thank you for the implementation of the rule set.

J0WI pushed a commit that referenced this issue Mar 17, 2018
* Add planet.gnu.org, Fix #14890, Re-open #14891

* Remove bzr0.savannah.gnu.org

* Remove web.cvs0.savannah.gnu.org

* Remove dl0.savannah.gnu.org

* Remove hg0.savannah.gnu.org

* Remove arch0.sv.gnu.org

* Remove bzr0.sv.gnu.org

* Remove web.cvs0.sv.gnu.org

* Remove dl0.sv.gnu.org

* Remove git0.sv.gnu.org

* Remove hg0.sv.gnu.org

* Remove download0.savannah.gnu.org, invalid-cert

* Remove frontend0.savannah.gnu.org, cert-invalid

* Remove download0.sv.gnu.org, cert-invalid

* Remove frontend0.sv.gnu.org, cert-invalid
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants