diff options
| author |   Eli Schwartz <eschwartz93@gmail.com> | 2024-03-27 01:53:56 -0400 |
|---|---|---|
| committer |   Sam James <sam@gentoo.org> | 2024-03-27 06:01:21 +0000 |
| commit | dcc1de0b77fc048d93b273a772717d24500f02de (patch) | |
| tree | d4801b118fa937b9171b0ade3ab517c0274fee73 /media-sound/abcmidi | |
| parent | net-libs/srt: filter LTO (diff) | |
| download | gentoo-dcc1de0b77fc048d93b273a772717d24500f02de.tar.gz gentoo-dcc1de0b77fc048d93b273a772717d24500f02de.tar.bz2 gentoo-dcc1de0b77fc048d93b273a772717d24500f02de.zip | |
media-sound/abcmidi: add github upstream metadata
It is available on both github and sourceforge, purportedly, but per the
main homepage:
> The software is also available on sourceforge.net but it is updated less frequently
??? fine, list them both, but list github first.
Signed-off-by: Eli Schwartz <eschwartz93@gmail.com>
Signed-off-by: Sam James <sam@gentoo.org>
Diffstat (limited to 'media-sound/abcmidi')
| -rw-r--r-- | media-sound/abcmidi/metadata.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/media-sound/abcmidi/metadata.xml b/media-sound/abcmidi/metadata.xml index 36eb93d1c0c5..8d7a1ecbc3fd 100644 --- a/media-sound/abcmidi/metadata.xml +++ b/media-sound/abcmidi/metadata.xml @@ -6,6 +6,7 @@ <name>Gentoo Sound project</name> </maintainer> <upstream> + <remote-id type="github">sshlien/abcmidi</remote-id> <remote-id type="sourceforge">abc</remote-id> </upstream> </pkgmetadata> |