Previously an `event` filter was applied to lookup the merge queue's github run ID but this filter doesn't work after #6288. The filter isn't strictly necessary, though, so remove it.
Previously an `event` filter was applied to lookup the merge queue's github run ID but this filter doesn't work after #6288. The filter isn't strictly necessary, though, so remove it.