On Tue, 18 May 2021 15:44:31 GMT, Pavel Rappo <pra...@openjdk.org> wrote:
> > > Meta: I would appreciate it if next time you could update your PR normally > rather than forcefully. Pushing forcefully makes it harder to follow the > progression of a PR. For this change, in fact, you can pretty much discard all previous change; the current commit is not related to the previous commit contents, as the way of approach and the test both got rewritten. For squashing and pushing, I thought it was a requirement for JDK pull requests to be merged; maybe the openjdk bot prompted me so before since I cannot find the reference on http://openjdk.java.net/contribute/. Would you mind enlightening me on how to keep commit histories while adhering to the bot's requirements? ------------- PR: https://git.openjdk.java.net/jdk/pull/4066
