Lintian Fixes - aac-tactics

Ready changes

Merge these changes:

git pull https://janitor.debian.net/git/aac-tactics lintian-fixes

Summary

Diff

=== modified file 'debian/changelog'
--- a/debian/changelog	2020-03-17 16:07:52 +0000
+++ b/debian/changelog	2020-06-03 16:11:21 +0000
@@ -1,3 +1,10 @@
+aac-tactics (8.11.0-2) UNRELEASED; urgency=low
+
+  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
+    Repository-Browse.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Wed, 03 Jun 2020 16:11:05 -0000
+
 aac-tactics (8.11.0-1) unstable; urgency=medium
 
   * Team upload

=== added directory 'debian/upstream'
=== added file 'debian/upstream/metadata'
--- a/debian/upstream/metadata	1970-01-01 00:00:00 +0000
+++ b/debian/upstream/metadata	2020-06-03 16:11:21 +0000
@@ -0,0 +1,5 @@
+---
+Bug-Database: https://github.com/coq-community/aac-tactics/issues
+Bug-Submit: https://github.com/coq-community/aac-tactics/issues/new
+Repository: https://github.com/coq-community/aac-tactics.git
+Repository-Browse: https://github.com/coq-community/aac-tactics

Run locally

Try this locally (using the lintian-brush package):

debcheckout aac-tactics
cd aac-tactics
lintian-brush

More details

Full run details