On Thu, 11 Nov 2021 20:18:40 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:

> In the future, please refrain from force pushing to a PR. It makes history 
> hard to follow for reviewers, and is generally strongly discouraged. OpenJDK 
> uses the Skara tools which will automatically squash and rebase the commits 
> in the PR.
@magicus I needed to cause a re-submit tests due to a macos timeout, and there 
seems no github Action or PR command to cause that, so I just force pushed, 
couldn't see any other way.... I presume there is?

@magicus is pushing an empty commit or dummy change preferable?

-------------

PR: https://git.openjdk.java.net/jdk/pull/6311

Reply via email to