[gentoo-commits] repo/gentoo:master commit in: dev-lang/mlton/

[Eli Schwartz]

commit:     92b53c9286a9ef6477922e4bd7a4f713ae3ed014
Author:     Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
AuthorDate: Mon Sep  9 04:28:02 2024 +0000
Commit:     Eli Schwartz <eschwartz <AT> gentoo <DOT> org>
CommitDate: Tue Sep 10 01:04:13 2024 +0000
URL:        https://gitweb.gentoo.org/repo/gentoo.git/commit/?id=92b53c92

dev-lang/mlton: add github upstream metadata

Signed-off-by: Eli Schwartz <eschwartz <AT> gentoo.org>

 dev-lang/mlton/metadata.xml | 1 +
 1 file changed, 1 insertion(+)

diff --git a/dev-lang/mlton/metadata.xml b/dev-lang/mlton/metadata.xml
index b6e787edaff3..4b9fb56b4de7 100644
--- a/dev-lang/mlton/metadata.xml
+++ b/dev-lang/mlton/metadata.xml
@@ -14,5 +14,6 @@
        </use>
        <upstream>
                <remote-id type="sourceforge">mlton</remote-id>
+               <remote-id type="github">MLton/mlton</remote-id>
        </upstream>
 </pkgmetadata>