Opened 6 years ago

Closed 6 years ago

#3094 closed defect (fixed)

devmanual.gentoo.org does not support HTTPS (by design)

Reported by: ABCD Owned by: pde
Priority: Medium Milestone:
Component: HTTPS Everywhere/EFF-HTTPS Everywhere Version:
Severity: Keywords:
Cc: underling@… Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description

The current rules for gentoo.org explicitly include mapping http://devmanual.gentoo.org/ to https://devmanual.gentoo.org/, but devmanual.gentoo.org does not support https at all. Please change the rules to exclude this URL.

Child Tickets

Change History (2)

comment:1 Changed 6 years ago by underling

Cc: underling@… added

comment:2 Changed 6 years ago by pde

Resolution: fixed
Status: newclosed

This should now be fixed in releases of all branches of the extension.

Note: See TracTickets for help on using tickets.