[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