Use https and .org for the debtags service
This commit is contained in:
parent
a392c1b439
commit
56494bf307
1 changed files with 1 additions and 1 deletions
|
@ -88,7 +88,7 @@ forum.optional=true
|
||||||
|
|
||||||
[miscellaneous]
|
[miscellaneous]
|
||||||
urls=debtags,links,planetname,planetuser,website,search,gpgfinger,gpgweb,contrib
|
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
|
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.pattern=https://planet-search.debian.org/cgi-bin/search.cgi?terms=%%22%(username)s%%22
|
||||||
planetuser.optional=true
|
planetuser.optional=true
|
||||||
|
|
Loading…
Reference in a new issue