ArielGlenn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/78934
Change subject: disallow / for bots on gitblit, as /blobdiff/ and /zip/ isn't
enough
......................................................................
disallow / for bots on gitblit, as /blobdiff/ and /zip/ isn't enough
Change-Id: I8539a9ab3b94fbc11798c8fc1c05e17d27647028
---
M manifests/misc/gitblit.pp
1 file changed, 3 insertions(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/34/78934/1
diff --git a/manifests/misc/gitblit.pp b/manifests/misc/gitblit.pp
index d231038..45fa5d2 100644
--- a/manifests/misc/gitblit.pp
+++ b/manifests/misc/gitblit.pp
@@ -48,7 +48,9 @@
mode => 0444,
owner => root,
group => root,
- content => "User-agent: *\nDisallow: /zip/\nDisallow:
/blobdiff/\n";
+# content => "User-agent: *\nDisallow: /zip/\nDisallow:
/blobdiff/\n";
+ # temporary, see bz 51769
+ content => "User-agent: *\nDisallow: /";
}
service {
--
To view, visit https://gerrit.wikimedia.org/r/78934
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I8539a9ab3b94fbc11798c8fc1c05e17d27647028
Gerrit-PatchSet: 1
Gerrit-Project: operations/puppet
Gerrit-Branch: production
Gerrit-Owner: ArielGlenn <[email protected]>
_______________________________________________
MediaWiki-commits mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits
