3 ms·I heard rumors it was triggered by a PR auto-merge bot.by bpodgursky 5y agoI heard rumors it was triggered by a PR auto-merge bot.reilly3000 5y agoThat bot is definitely getting fired.