Run of lintian-fixes for antimicro

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

debcheckout antimicro
cd antimicro
lintian-brush

Merge these changes:

git pull https://janitor.debian.net/git/antimicro lintian-fixes/main

Summary

Diff

diff --git a/debian/changelog b/debian/changelog
index 0ae5d43..7632a45 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+antimicro (2.23-3) UNRELEASED; urgency=medium
+
+  * Update renamed lintian tag names in lintian overrides.
+  * Set upstream metadata fields: Repository.
+  * Update standards version to 4.5.0, no changes needed.
+
+ -- Debian Janitor <janitor@jelmer.uk>  Thu, 05 Nov 2020 20:00:49 -0000
+
 antimicro (2.23-2) unstable; urgency=medium
 
   * Bump Policy (with no relevant changes)
diff --git a/debian/control b/debian/control
index dfae36d..62d0295 100644
--- a/debian/control
+++ b/debian/control
@@ -6,7 +6,7 @@ Homepage: https://github.com/AntiMicro/antimicro
 Build-Depends: debhelper-compat (= 12), cmake, gettext, itstool,
  libsdl2-dev, libx11-dev, libxi-dev, libxtst-dev,
  lsb-release, pkg-config, qttools5-dev, qttools5-dev-tools
-Standards-Version: 4.4.1
+Standards-Version: 4.5.0
 Rules-Requires-Root: no
 VCS-git: https://evolvis.org/anonscm/git/alioth/antimicro.git -b master
 VCS-Browser: https://evolvis.org/plugins/scmgit/cgi-bin/gitweb.cgi?p=alioth/antimicro.git;a=shortlog;h=refs/heads/master
diff --git a/debian/source/lintian-overrides b/debian/source/lintian-overrides
index 94d41cb..18fd538 100644
--- a/debian/source/lintian-overrides
+++ b/debian/source/lintian-overrides
@@ -5,4 +5,4 @@ antimicro source: debian-watch-does-not-check-gpg-signature
 antimicro source: no-dep5-copyright
 
 # there are no tests
-antimicro source: testsuite-autopkgtest-missing
+antimicro source: missing-tests-control
diff --git a/debian/upstream/metadata b/debian/upstream/metadata
index 2c3b596..5cf7034 100644
--- a/debian/upstream/metadata
+++ b/debian/upstream/metadata
@@ -5,7 +5,7 @@
   "Changelog": "https://github.com/AntiMicro/antimicro/blob/master/Changelog",
   "Documentation": "https://github.com/AntiMicro/antimicro/wiki",
   "Name": "AntiMicro",
-  "Repository": "git@github.com:AntiMicro/antimicro.git",
+  "Repository": "https://github.com/AntiMicro/antimicro.git",
   "Repository-Browse": "https://github.com/AntiMicro/antimicro",
   "Security-Contact": "mailto:jeff@jsbackus.com?subject=antimicro:"
 }

Debdiff

[The following lists of changes regard files as different if they have different names, permissions or owners.]

Files in second set of .debs but not in first

-rw-r--r--  root/root   /usr/lib/debug/.build-id/80/6d186d6b1e9dc389cde7e5fd6a4ec25f403a93.debug

Files in first set of .debs but not in second

-rw-r--r--  root/root   /usr/lib/debug/.build-id/c2/03a59cf3ae35b081b34fc2a7bcfc183f23719f.debug

No differences were encountered between the control files of package antimicro

Control files of package antimicro-dbgsym: lines which differ (wdiff format)

  • Build-Ids: c203a59cf3ae35b081b34fc2a7bcfc183f23719f 806d186d6b1e9dc389cde7e5fd6a4ec25f403a93

Publish History

  • 2021-05-15T01:22: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-14T23:40: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-14T23:40: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-14T22:53: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-14T16:09: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-14T14:15: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-14T12:17: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-14T10:10: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-14T02:02: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)
  • 2021-05-13T07:50: Failed to create merge proposal: hoster-unsupported (Hoster unsupported: evolvis.org.)

Full worker log Full build log