summaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorMichał Górny <mgorny@gentoo.org>2017-07-11 23:13:10 +0200
committerMichał Górny <mgorny@gentoo.org>2017-07-11 23:13:10 +0200
commit59e9fa5287ec3d29b26cdfed0e00690f06883517 (patch)
treed40fcab50e19e6633567990c754b8c53d0dc1d5e
parentrepositories: Remove Armageddon, QA, last commit 2013, #613458 (diff)
downloadapi-59e9fa5287ec3d29b26cdfed0e00690f06883517.tar.gz
api-59e9fa5287ec3d29b26cdfed0e00690f06883517.tar.bz2
api-59e9fa5287ec3d29b26cdfed0e00690f06883517.zip
repositories: Remove benf, QA, last commit 2015, #613020
-rw-r--r--files/overlays/repositories.xml14
1 files changed, 0 insertions, 14 deletions
diff --git a/files/overlays/repositories.xml b/files/overlays/repositories.xml
index 499158a..58179e9 100644
--- a/files/overlays/repositories.xml
+++ b/files/overlays/repositories.xml
@@ -538,20 +538,6 @@ FIN
<feed>https://github.com/barzog/barzog-gentoo-overlay/commits/master</feed>
</repo>
<repo quality="experimental" status="unofficial">
- <name>benf</name>
- <description lang="en">ben's overlay</description>
- <homepage>https://cgit.gentoo.org/user/benf.git/</homepage>
- <owner type="person">
- <email>benjaminfranzke@gmail.com</email>
- <name>Benjamin Franzke</name>
- </owner>
- <source type="git">https://anongit.gentoo.org/git/user/benf.git</source>
- <source type="git">git://anongit.gentoo.org/user/benf.git</source>
- <source type="git">git+ssh://git@git.gentoo.org/user/benf.git</source>
- <feed>https://cgit.gentoo.org/user/benf.git/atom/</feed>
- <!-- <feed>https://cgit.gentoo.org/user/benf.git/rss/</feed> -->
- </repo>
- <repo quality="experimental" status="unofficial">
<name>bes</name>
<description lang="en">bes' personal overlay</description>
<homepage>https://github.com/bes-internal/gentoo-overlay-bes</homepage>