From 9a57fc29db6684e227baf632dace53776555b60b Mon Sep 17 00:00:00 2001
From: Steve Schnepp <steve.schnepp@pwkf.org>
Date: Sun, 23 Jun 2013 13:31:40 +0200
Subject: [PATCH] also accept : as a ticket delimiter

The usual delimiter for tickets is #, yet in trac you can setup an
external trigger for external bugs. This trigger uses a : delimiter
---
 ticketconfig.py | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

diff --git a/ticketconfig.py b/ticketconfig.py
index 058d277..cf5b185 100644
--- a/ticketconfig.py
+++ b/ticketconfig.py
@@ -90,9 +90,9 @@ def __init__(self):
 
         self._add('#ooni', '(?<!\w)(?:PR#|https://github.com/TheTorProject/ooni-probe/pull/)([0-9]+)(?:(?=\W)|$)', self.providers['gitproxy.zycloud.tk-tor-ooni-probe-pull'])
 
-        self._add('#munin', '(?<!\w)[dD]#([0-9]{4,})(?:(?=\W)|$)', self.providers['bugs.debian.org'])
-        self._add('#munin', '(?<!\w)[uU]#([0-9]{4,})(?:(?=\W)|$)', self.providers['launchpad.net/ubuntu'])
-        self._add('#munin', '(?<!\w)[rR]#([0-9]{4,})(?:(?=\W)|$)', self.providers['bugzilla.redhat.com'])
+        self._add('#munin', '(?<!\w)[dD][#:]([0-9]{4,})(?:(?=\W)|$)', self.providers['bugs.debian.org'])
+        self._add('#munin', '(?<!\w)[uU][#:]([0-9]{4,})(?:(?=\W)|$)', self.providers['launchpad.net/ubuntu'])
+        self._add('#munin', '(?<!\w)[rR][#:]([0-9]{4,})(?:(?=\W)|$)', self.providers['bugzilla.redhat.com'])
         self._add('#munin', '(?<!\w)#([0-9]{4,})(?:(?=\W)|$)', self.providers['munin-monitoring.org'])
 
         self._add('#tor-test', '(?<!\w)[dD]#([0-9]{4,})(?:(?=\W)|$)', self.providers['bugs.debian.org'])