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…
