summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2018-12-26 13:29:43 +0100
committerMichał Górny <mgorny@gentoo.org>2018-12-26 13:33:00 +0100
commit591e559fe310886787cf1b48bb01cb42abc4836f (patch)
tree365b5f67168bf19d7f71dfcebfa51ad5d45b2fa7
parentrepositories: Remove yngwin, owner retired (diff)
downloadapi-591e559fe310886787cf1b48bb01cb42abc4836f.tar.gz
api-591e559fe310886787cf1b48bb01cb42abc4836f.tar.bz2
api-591e559fe310886787cf1b48bb01cb42abc4836f.zip
repositories: Remove mrueg, URL dead
Closes: https://bugs.gentoo.org/672008 Signed-off-by: Michał Górny <mgorny@gentoo.org>
-rw-r--r--files/overlays/repositories.xml15
1 files changed, 0 insertions, 15 deletions
diff --git a/files/overlays/repositories.xml b/files/overlays/repositories.xml
index 4f7d9f7..142145d 100644
--- a/files/overlays/repositories.xml
+++ b/files/overlays/repositories.xml
@@ -3062,21 +3062,6 @@
<source type="git">git://anongit.gentoo.org/proj/mozilla.git</source>
<feed>https://cgit.gentoo.org/proj/mozilla.git/atom/</feed>
</repo>
- <repo quality="experimental" status="unofficial">
- <name>mrueg</name>
- <description lang="en">User overlay</description>
- <homepage>https://cgit.gentoo.org/dev/mrueg.git/</homepage>
- <owner type="person">
- <email>mrueg@gentoo.org</email>
- <name>Manuel Rüger (mrueg)</name>
- </owner>
- <source type="git">https://anongit.gentoo.org/git/dev/mrueg.git</source>
- <source type="git">git://anongit.gentoo.org/dev/mrueg.git</source>
- <source type="git">git+ssh://git@git.gentoo.org/dev/mrueg.git</source>
- <source type="git">https://github.com/mrueg/mrueg-overlay.git</source>
- <feed>https://cgit.gentoo.org/dev/mrueg.git/atom/</feed>
- <!-- <feed>https://cgit.gentoo.org/dev/mrueg.git/rss/</feed> -->
- </repo>
<repo quality="experimental" status="official">
<name>mschiff</name>
<description lang="en">Developer overlay</description>