Filippo Giunchedi has submitted this change and it was merged. ( https://gerrit.wikimedia.org/r/350246 )
Change subject: Planet: Remove Fedora People / planetsun from fellow planet listing ...................................................................... Planet: Remove Fedora People / planetsun from fellow planet listing They seem to be dead / domain hijacked Change-Id: I8faa334a2df34bb4bd798c33eee5bf1a851cb8b5 --- M modules/planet/templates/html/index.html.tmpl.erb 1 file changed, 0 insertions(+), 2 deletions(-) Approvals: jenkins-bot: Verified Filippo Giunchedi: Looks good to me, approved diff --git a/modules/planet/templates/html/index.html.tmpl.erb b/modules/planet/templates/html/index.html.tmpl.erb index 50dddaa..8ad8c85 100644 --- a/modules/planet/templates/html/index.html.tmpl.erb +++ b/modules/planet/templates/html/index.html.tmpl.erb @@ -142,8 +142,6 @@ <li><a href="http://planet.debian.net/";>Planet Debian</a></li> <li><a href="http://planet.freedesktop.org/";>Planet freedesktop.org</a></li> <li><a href="http://planet.gnome.org/";>Planet GNOME</a></li> -<li><a href="http://planetsun.org/";>Planet Sun</a></li> -<li><a href="http://fedora.linux.duke.edu/fedorapeople/";>Fedora People</a></li> <li><a href="http://www.planetplanet.org/";>more...</a></li> </ul> </p> -- To view, visit https://gerrit.wikimedia.org/r/350246 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I8faa334a2df34bb4bd798c33eee5bf1a851cb8b5 Gerrit-PatchSet: 3 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Chad <[email protected]> Gerrit-Reviewer: Filippo Giunchedi <[email protected]> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list [email protected] https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
