From 8e94639e5ffafde0a8295cc2f067e127cf00382c Mon Sep 17 00:00:00 2001
From: Eli Schwartz <eschwartz@gentoo.org>
Date: Sun, 8 Sep 2024 23:47:51 -0400
Subject: [PATCH] sci-mathematics/twelf: add github upstream metadata

Signed-off-by: Eli Schwartz <eschwartz@gentoo.org>
---
 sci-mathematics/twelf/metadata.xml | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/sci-mathematics/twelf/metadata.xml b/sci-mathematics/twelf/metadata.xml
index d4994fb246a44..938124fd245e8 100644
--- a/sci-mathematics/twelf/metadata.xml
+++ b/sci-mathematics/twelf/metadata.xml
@@ -7,4 +7,7 @@
   logic programming and for the formalization of programming language
   theory.
   </longdescription>
+  <upstream>
+    <remote-id type="github">standardml/twelf</remote-id>
+  </upstream>
 </pkgmetadata>