On Wed, 8 Nov 2023 21:14:41 GMT, Magnus Ihse Bursie <i...@openjdk.org> wrote:
> Also, please don't ever force push once you have published a PR. Now it makes > Martin's comment just dangling in the air. @magicus I think the force-push happened whilst the PR was still in draft (skara bot did not complain), which is generally acceptable, but still has the problem of leaving dangling comments made whilst in draft mode. ------------- PR Comment: https://git.openjdk.org/jdk/pull/16414#issuecomment-1803251990