Since human could forget to do this. From a glance this should probably be done around https://github.com/nodejs/github-bot/blob/a76688e33fc1e274f3d8df35a0571750d0f11b7a/scripts/jenkins-status.js#L45-L49