I heard the word “cron” mentioned a couple of times, so I thought I should mention “Jenkins” and spread “the good word” – the feedback wasn’t overwhelming, but …

• https://en.wikipedia.org/wiki/cron
• https://en.wikipedia.org/wiki/Jenkins_(software)

…

It’s not my mission, I am not seriously disappointed, I just think everybody should share his/her competence and and experience to improve working conditions in the office.