gmane is down at the moment, so lower that in priority (hopefully it will be brought back up, again). Wikipedia also lists a few more project-specific list providers, so include those as well: https://en.wikipedia.org/wiki/Message-ID --- lib/PublicInbox/ExtMsg.pm | 11 ++++++++--- 1 file changed, 8 insertions(+), 3 deletions(-)
diff --git a/lib/PublicInbox/ExtMsg.pm b/lib/PublicInbox/ExtMsg.pm index 955ada7..39ee05f 100644 --- a/lib/PublicInbox/ExtMsg.pm +++ b/lib/PublicInbox/ExtMsg.pm @@ -14,11 +14,16 @@ use PublicInbox::WwwStream; # TODO: user-configurable our @EXT_URL = ( - 'http://mid.gmane.org/%s', - 'https://lists.debian.org/msgid-search/%s', # leading "//" denotes protocol-relative (http:// or https://) - '//mid.mail-archive.com/%s', '//marc.info/?i=%s', + '//mid.mail-archive.com/%s', + 'http://mid.gmane.org/%s', + 'https://lists.debian.org/msgid-search/%s', + '//docs.FreeBSD.org/cgi/mid.cgi?db=mid&id=%s', + 'https://www.w3.org/mid/%s', + 'http://www.postgresql.org/message-id/%s', + 'https://lists.debconf.org/cgi-lurker/keyword.cgi?'. + 'doc-url=/lurker&format=en.html&query=id:%s' ); sub ext_msg { -- EW -- unsubscribe: [email protected] archive: https://public-inbox.org/meta/
