Hi Chris, On Thu, 8 Oct 2020, Chris Webster wrote: > Is this waiting for some action on my part? I thought the question of > running on push vs pull had been resolved (in favour of pull). FWIW I agree that the current shape is the best we can do for now (and of course, full disclosure: I was the one suggesting to restrict this to Pull Requests because we know exactly the commit range to check in that case). Thanks, Dscho
