[Reproducible-commits] [misc] 01/01: clean-notes: another bug url instead of just bug #

[Mattia Rizzolo]

This is an automated email from the git hooks/post-receive script.

mapreri-guest pushed a commit to branch master
in repository misc.

commit c5afd5fd7c6e5373c62d004a6bdf25abeef25bee
Author: Mattia Rizzolo <mattia at mapreri.org>
Date:   Fri Jun 5 12:23:07 2015 +0200

    clean-notes: another bug url instead of just bug #
---
 clean-notes | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/clean-notes b/clean-notes
index b9f3fb4..ef983df 100755
--- a/clean-notes
+++ b/clean-notes
@@ -241,8 +241,8 @@ def check_bugs(notes):
         # the results from SELECT are a list of one-element tuples, so we have
         # have to look up 1-tuples with the bug number in the list
         if (bug,) not in rows:
-            print("bug #" + str(bug) + " in package " + bugs_package[bug] +
-                  " is not usertagged")
+            print("https://bugs.debian.org/" + str(bug) + " in package " +
+                  bugs_package[bug] + " is not usertagged")
 
 
 def find_old_notes(testedpkgs, notes):

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/reproducible/misc.git