4 ms·

In our case OPs bot did not open a PR which could have been merged quickly, but filed an issue instead.