On 5/19/2019 1:40 PM, Mark Anderson wrote: > making it possible to re-run CI from GitHub commits. As a PR submitter, one workaround I'm aware of is rebasing the PR commit(s). I'm not sure that's something members can/should try though, so a better solution is probably still preferred…