diff options
author | Debian Janitor <janitor@jelmer.uk> | 2020-07-19 17:27:23 +0000 |
---|---|---|
committer | Debian Janitor <janitor@jelmer.uk> | 2020-07-19 17:27:23 +0000 |
commit | 239cf36b6da89396370640438347bfe9e7e16414 (patch) | |
tree | 4d52f27e7104d652e190571fe853333cc5fa7b46 | |
parent | 05407d8dbde2e77275eaaaad8724b282049de5fc (diff) |
Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, Repository-Browse.
Changes-By: lintian-brush
Fixes: lintian: upstream-metadata-file-is-missing
See-also: https://lintian.debian.org/tags/upstream-metadata-file-is-missing.html
Fixes: lintian: upstream-metadata-missing-bug-tracking
See-also: https://lintian.debian.org/tags/upstream-metadata-missing-bug-tracking.html
Fixes: lintian: upstream-metadata-missing-repository
See-also: https://lintian.debian.org/tags/upstream-metadata-missing-repository.html
-rw-r--r-- | debian/changelog | 2 | ||||
-rw-r--r-- | debian/upstream/metadata | 5 |
2 files changed, 7 insertions, 0 deletions
diff --git a/debian/changelog b/debian/changelog index 104ad44..414bf85 100644 --- a/debian/changelog +++ b/debian/changelog @@ -5,6 +5,8 @@ pa-ounit (113.00.00-4) UNRELEASED; urgency=low * Use secure URI in Homepage field. * Bump debhelper from deprecated 9 to 10. * Change priority extra to priority optional. + * Set upstream metadata fields: Bug-Database, Bug-Submit, Repository, + Repository-Browse. -- Debian Janitor <janitor@jelmer.uk> Sun, 19 Jul 2020 17:23:27 -0000 diff --git a/debian/upstream/metadata b/debian/upstream/metadata new file mode 100644 index 0000000..a501d53 --- /dev/null +++ b/debian/upstream/metadata @@ -0,0 +1,5 @@ +--- +Bug-Database: https://github.com/janestreet/pa_ounit/issues +Bug-Submit: https://github.com/janestreet/pa_ounit/issues/new +Repository: https://github.com/janestreet/pa_ounit.git +Repository-Browse: https://github.com/janestreet/pa_ounit |