From 56494bf3071ac4412db02867d3d0fe9ff5fcf59d Mon Sep 17 00:00:00 2001 From: Paul Wise Date: Fri, 23 Jun 2017 12:14:03 +0800 Subject: [PATCH] Use https and .org for the debtags service --- 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 0bbb7b0..f9f1675 100644 --- a/debianmemberportfolio/model/portfolio.ini +++ b/debianmemberportfolio/model/portfolio.ini @@ -88,7 +88,7 @@ forum.optional=true [miscellaneous] urls=debtags,links,planetname,planetuser,website,search,gpgfinger,gpgweb,contrib -debtags.pattern=http://debtags.debian.net/reports/maint/%(email)s +debtags.pattern=https://debtags.debian.org/reports/maint/%(email)s planetname.pattern=https://planet-search.debian.org/cgi-bin/search.cgi?terms=%%22%(name)s%%22 planetuser.pattern=https://planet-search.debian.org/cgi-bin/search.cgi?terms=%%22%(username)s%%22 planetuser.optional=true