Demon has uploaded a new change for review.
https://gerrit.wikimedia.org/r/74688
Change subject: Allow spiders to index gerrit again
......................................................................
Allow spiders to index gerrit again
Who knows if this will be useful, but gitweb was the reason we
shut it off and we don't use gitweb anymore. If it becomes a
problem again, just set ensure => present
Change-Id: Icf0b8e578454798af89801a846362a4f4c763e32
---
M manifests/gerrit.pp
1 file changed, 8 insertions(+), 7 deletions(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/88/74688/1
diff --git a/manifests/gerrit.pp b/manifests/gerrit.pp
index de6bf22..76868f9 100644
--- a/manifests/gerrit.pp
+++ b/manifests/gerrit.pp
@@ -284,6 +284,14 @@
group => root,
content =>
template('apache/sites/gerrit.wikimedia.org.erb'),
ensure => present;
+ # We don't use gitweb anymore, so we're going to allow spiders
again
+ # If it becomes a problem, just set ensure => present again
+ "/var/www/robots.txt":
+ mode => 0444,
+ owner => root,
+ group => root,
+ source => "puppet:///files/misc/robots-txt-disallow",
+ ensure => absent;
}
apache_site { gerrit: name => "gerrit.wikimedia.org" }
@@ -303,13 +311,6 @@
ensure => absent;
"/var/lib/gerrit2/review_site/etc/gitweb_config.perl":
ensure => absent;
- # Spiders make gitweb cry when they request tarballs
- "/var/www/robots.txt":
- mode => 0444,
- owner => root,
- group => root,
- source => "puppet:///files/misc/robots-txt-disallow",
- ensure => present;
}
}
--
To view, visit https://gerrit.wikimedia.org/r/74688
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: Icf0b8e578454798af89801a846362a4f4c763e32
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Demon <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
