[Reproducible-commits] [misc] 01/01: cast bug numbers to numbers to make writing happy

Chris West faux-guest at moszumanska.debian.org
Fri Jan 1 16:14:11 UTC 2016


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

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

commit fcc05251312f072f99ac437b33f1b08f3fff3af8
Author: Chris West (Faux) <git at goeswhere.com>
Date:   Fri Jan 1 16:14:06 2016 +0000

    cast bug numbers to numbers to make writing happy
---
 edit-notes | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/edit-notes b/edit-notes
index b9ec5aa..6360290 100755
--- a/edit-notes
+++ b/edit-notes
@@ -72,7 +72,7 @@ if __name__ == '__main__':
                 if dst not in data:
                     data[dst] = []
                 if x not in data[dst]:
-                    data[dst].append(x)
+                    data[dst].append(int(x) if 'bugs' == dst else x)
 
         if args.set_comment:
             data['comments'] = args.set_comment

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



More information about the Reproducible-commits mailing list