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