Opened 7 years ago

Closed 7 years ago

#9643 closed defect (fixed)

keys.mozilla.org and keyserver.mozilla.org don't resolve to https

Reported by: mttp Owned by: pde
Priority: Medium Milestone:
Component: HTTPS Everywhere/EFF-HTTPS Everywhere Version:
Severity: Keywords: https-everywhere
Cc: Actual Points:
Parent ID: Points:
Reviewer: Sponsor:

Description

These two sites have https versions, but https-everywhere doesn't know about them. (patch included)

Child Tickets

Attachments (1)

add_mozilla_keyserver.patch (488 bytes) - added by mttp 7 years ago.
newer version

Download all attachments as: .zip

Change History (8)

comment:1 Changed 7 years ago by mttp

Status: newneeds_review

comment:2 Changed 7 years ago by pde

Resolution: fixed
Status: needs_reviewclosed

Looks good. Merged into origin/master, and will be in 4.0development.12 when that is released.

comment:3 Changed 7 years ago by cypherpunks

Resolution: fixed
Status: closedreopened

After checking the certificate of the keyserver domains, I also found gpg.mozilla.org

Please add this too.

Changed 7 years ago by mttp

Attachment: add_mozilla_keyserver.patch added

newer version

comment:4 Changed 7 years ago by mttp

I've replaced the old patch with a newer patch that includes the above suggestion (based on the latest git branch). Please merge.

comment:5 Changed 7 years ago by mttp

Status: reopenedneeds_review

comment:6 Changed 7 years ago by zyan

The patch doesn't apply cleanly anymore, but I modified it and opened a pull request: https://github.com/pde/https-everywhere/pull/9

comment:7 Changed 7 years ago by pde

Resolution: fixed
Status: needs_reviewclosed
Note: See TracTickets for help on using tickets.