ArielGlenn has uploaded a new change for review.
https://gerrit.wikimedia.org/r/127204
Change subject: change gitblit url check to retrieve something lightweight
......................................................................
change gitblit url check to retrieve something lightweight
Change-Id: I59e763e727cfa76a73d199ed627dc4af7ab09522
---
M manifests/role/gitblit.pp
1 file changed, 1 insertion(+), 1 deletion(-)
git pull ssh://gerrit.wikimedia.org:29418/operations/puppet
refs/changes/04/127204/1
diff --git a/manifests/role/gitblit.pp b/manifests/role/gitblit.pp
index 8f0d7fd..6cab226 100644
--- a/manifests/role/gitblit.pp
+++ b/manifests/role/gitblit.pp
@@ -19,7 +19,7 @@
monitor_service { 'gitblit':
description => 'gitblit.wikimedia.org',
- check_command => 'check_https_url!git.wikimedia.org!/',
+ check_command =>
'check_https_url!git.wikimedia.org!/tree/mediawiki%2Fcore.git',
}
# Add ytterbium to ssh exceptions for git replication
--
To view, visit https://gerrit.wikimedia.org/r/127204
To unsubscribe, visit https://gerrit.wikimedia.org/r/settings
Gerrit-MessageType: newchange
Gerrit-Change-Id: I59e763e727cfa76a73d199ed627dc4af7ab09522
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
