From a392c1b439b24bcf2cd4ef67378f67e87857c39e Mon Sep 17 00:00:00 2001 From: Paul Wise Date: Fri, 23 Jun 2017 12:14:02 +0800 Subject: [PATCH] Use https for search.debian.org --- debianmemberportfolio/model/portfolio.ini | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/debianmemberportfolio/model/portfolio.ini b/debianmemberportfolio/model/portfolio.ini index 4e69e0e..0bbb7b0 100644 --- a/debianmemberportfolio/model/portfolio.ini +++ b/debianmemberportfolio/model/portfolio.ini @@ -94,7 +94,7 @@ planetuser.pattern=https://planet-search.debian.org/cgi-bin/search.cgi?terms=%%2 planetuser.optional=true links.pattern=https://www.google.com/search?hl=en&lr=&q=site%%3Adebian.org+%%22%(name)s%%22+-site%%3Anm.debian.org+-site%%3Alintian.debian.org+-site%%3Abugs.debian.org+-site%%3Alists.debian.org+-site%%3Apackages.debian.org+-site%%3Alists.alioth.debian.org+-site%%3Aftp.debian.org++-site%%3Apackages.qa.debian.org++-site%%3Aftp*.*.debian.org+-inurl%%3Adebian.org%%2Fdevel%%2Fpeople.+-inurl%%3Aindices%%2FMaintainers+-inurl%%3Adebian.org%%2Fdebian%%2Fproject++-inurl%%3A%%2Fdists%%2F&btnG=Search website.pattern=https://www.google.com/search?q=site:www.debian.org+%(name)s -search.pattern=http://search.debian.org/cgi-bin/omega?P=%%22%(name)s%%22 +search.pattern=https://search.debian.org/cgi-bin/omega?P=%%22%(name)s%%22 gpgfinger.pattern=finger %(username)s/key@db.debian.org gpgfinger.type=finger gpgfinger.optional=true