commit:     d18662db347a5fd34b36d3f1a2295a58d54d7844
Author:     Volkmar W. Pogatzki <gentoo <AT> pogatzki <DOT> net>
AuthorDate: Sat Jun  1 07:35:41 2024 +0000
Commit:     Florian Schmaus <flow <AT> gentoo <DOT> org>
CommitDate: Sun Jun 30 20:18:02 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=d18662db

dev-lang/mercury: add github upstream metadata

Signed-off-by: Volkmar W. Pogatzki <gentoo <AT> pogatzki.net>
Signed-off-by: Florian Schmaus <flow <AT> gentoo.org>

 dev-lang/mercury/metadata.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dev-lang/mercury/metadata.xml b/dev-lang/mercury/metadata.xml
index 5061e4f27e59..3695e0c64d9e 100644
--- a/dev-lang/mercury/metadata.xml
+++ b/dev-lang/mercury/metadata.xml
@@ -5,4 +5,7 @@
   <use>
     <flag name="trail">Support Mercury trail grades</flag>
   </use>
+  <upstream>
+    <remote-id type="github">Mercury-Language/mercury</remote-id>
+  </upstream>
 </pkgmetadata>

Reply via email to