From 96ba2c936cb27edeac858345b3db06830697e03a Mon Sep 17 00:00:00 2001
From: "Volkmar W. Pogatzki" <gentoo@pogatzki.net>
Date: Mon, 3 Jun 2024 10:24:50 +0200
Subject: [PATCH] dev-lang/mercury-extras: add github upstream metadata

Signed-off-by: Volkmar W. Pogatzki <gentoo@pogatzki.net>
Closes: https://github.com/gentoo/gentoo/pull/36940
Signed-off-by: Florian Schmaus <flow@gentoo.org>
---
 dev-lang/mercury-extras/metadata.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/dev-lang/mercury-extras/metadata.xml b/dev-lang/mercury-extras/metadata.xml
index d6a4b0b729f8d..1736dbb41e2a9 100644
--- a/dev-lang/mercury-extras/metadata.xml
+++ b/dev-lang/mercury-extras/metadata.xml
@@ -5,4 +5,7 @@
 <use>
   <flag name="tommath">Enable support for tommath library</flag>
 </use>
+<upstream>
+  <remote-id type="github">Mercury-Language/mercury</remote-id>
+</upstream>
 </pkgmetadata>