Infrastructure

for gerrit:
Monitor gerrit log-size. it rotate daily but typically when the current log (/opt/gerrit/gerrit_site/logs/error_log goes above 2M it is usually sign of trouble

also git-deamon-spanned process seem to get stuck sometimes, blocking resources... counting the number of there running could be a useful indicator that some clean-up is needed...

IMHO we made quite some good progress, that is, Alex and Robert made so, I was just lurking ;-)
What needs doing is setup the SMS gateway (besides Alex, Robert and me nobody volunteered to be in the monitoring, sadly), and the e-mail notification
Alex, can you reach out to all tdf-admin subscribers (sudo list_members tdf-admin on pumbaa) again to ask for the SMS monitoring, whether they want to be included
For e-mail, I'd simply add them without asking, as they are on the admin list anyways

We should put the monitoring notifications live soon
For that to happen:

Alex, can you reach out to all tdf-admin subscribers (sudo list_members tdf-admin on pumbaa) again to ask for the SMS monitoring, whether they want to be included

Seems our monitoring vServer at a third-party hoster is causing the issue wrt. false positives, Robert now testing on his own machine

Seems like a problem with the vHost at OVH, as Robert cannot confirm the issue; let's shift the monitoring to the upcoming backup machine (#1224)

Ordered new monitoring vm at fillo, next step is to move monitoring setup there.