Run of lintian-fixes for ppx-tools-versioned

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

debcheckout ppx-tools-versioned
cd ppx-tools-versioned
lintian-brush

Merge these changes:

Summary

Diff

diff --git a/debian/changelog b/debian/changelog
index 2f4d249..f48705c 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+ppx-tools-versioned (5.4.0-2) UNRELEASED; urgency=low
+
+  * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository,
+    Repository-Browse.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Sat, 08 Aug 2020 13:23:52 -0000
+
 ppx-tools-versioned (5.4.0-1) unstable; urgency=medium
 
   * Team upload
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
new file mode 100644
index 0000000..f39fe53
--- /dev/null
+++ b/debian/upstream/metadata
@@ -0,0 +1,5 @@
+---
+Bug-Database: https://github.com/ocaml-ppx/ppx_tools_versioned/issues
+Bug-Submit: https://github.com/ocaml-ppx/ppx_tools_versioned/issues/new
+Repository: https://github.com/ocaml-ppx/ppx_tools_versioned.git
+Repository-Browse: https://github.com/ocaml-ppx/ppx_tools_versioned

Publish History

Full worker log Full build log