Dzahn has submitted this change and it was merged. Change subject: Revert "RT: remove HTTPS monitoring" ......................................................................
Revert "RT: remove HTTPS monitoring" This reverts commit c097a86a564019e5c1266524afbede480887d4e9. Change-Id: I9ff580c856a35c4cd04db81ee634f141f6883159 --- M manifests/role/requesttracker.pp 1 file changed, 5 insertions(+), 0 deletions(-) Approvals: jenkins-bot: Verified Dzahn: Looks good to me, approved diff --git a/manifests/role/requesttracker.pp b/manifests/role/requesttracker.pp index e658433..7e7388f 100644 --- a/manifests/role/requesttracker.pp +++ b/manifests/role/requesttracker.pp @@ -43,6 +43,11 @@ port => '443', } + monitoring::service { 'RT-https': + description => 'RT-HTTPS', + check_command => 'check_https_url!rt.wikimedia.org!/', + } + } # Labs/testing RT -- To view, visit https://gerrit.wikimedia.org/r/217404 To unsubscribe, visit https://gerrit.wikimedia.org/r/settings Gerrit-MessageType: merged Gerrit-Change-Id: I9ff580c856a35c4cd04db81ee634f141f6883159 Gerrit-PatchSet: 2 Gerrit-Project: operations/puppet Gerrit-Branch: production Gerrit-Owner: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: Dzahn <dz...@wikimedia.org> Gerrit-Reviewer: jenkins-bot <> _______________________________________________ MediaWiki-commits mailing list MediaWiki-commits@lists.wikimedia.org https://lists.wikimedia.org/mailman/listinfo/mediawiki-commits