Ryan Lane has submitted this change and it was merged.

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(-)

Approvals:
  Ryan Lane: Looks good to me, approved
  jenkins-bot: Verified



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: merged
Gerrit-Change-Id: Icf0b8e578454798af89801a846362a4f4c763e32
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: Demon <[email protected]>
Gerrit-Reviewer: Ryan Lane <[email protected]>
Gerrit-Reviewer: jenkins-bot

_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits

Reply via email to