summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorJustin Lecher <jlec@gentoo.org>2017-04-29 19:47:04 +0100
committerJustin Lecher <jlec@gentoo.org>2017-04-29 19:49:16 +0100
commit92715265f5e37292e57673f39c5372a268778c44 (patch)
tree66a50bb70e4d2de5c7c08660043176f3909d7d96 /dev-ml/ppx_bench
parentsci-libs/libghemical: Drop old (diff)
downloadgentoo-92715265f5e37292e57673f39c5372a268778c44.tar.gz
gentoo-92715265f5e37292e57673f39c5372a268778c44.tar.bz2
gentoo-92715265f5e37292e57673f39c5372a268778c44.zip
Globally add missing remote ID references to metadata.xml
Signed-off-by: Justin Lecher <jlec@gentoo.org>
Diffstat (limited to 'dev-ml/ppx_bench')
-rw-r--r--dev-ml/ppx_bench/metadata.xml13
1 files changed, 8 insertions, 5 deletions
diff --git a/dev-ml/ppx_bench/metadata.xml b/dev-ml/ppx_bench/metadata.xml
index ffac4d7ebc01..f0ad86c70e81 100644
--- a/dev-ml/ppx_bench/metadata.xml
+++ b/dev-ml/ppx_bench/metadata.xml
@@ -1,8 +1,11 @@
-<?xml version="1.0" encoding="UTF-8"?>
+<?xml version='1.0' encoding='UTF-8'?>
<!DOCTYPE pkgmetadata SYSTEM "http://www.gentoo.org/dtd/metadata.dtd">
<pkgmetadata>
-<maintainer type="project">
- <email>ml@gentoo.org</email>
- <name>Gentoo ML Project</name>
-</maintainer>
+ <maintainer type="project">
+ <email>ml@gentoo.org</email>
+ <name>Gentoo ML Project</name>
+ </maintainer>
+ <upstream>
+ <remote-id type="github">janestreet/ppx_bench</remote-id>
+ </upstream>
</pkgmetadata>