On Fri, 19 Mar 2021 13:28:12 GMT, Claes Redestad <redes...@openjdk.org> wrote:
>> Thanks @cl4es -- do I need to update the git commit message as well, or is >> updating the title of the PR sufficient? I recall you suggesting not to do >> amend/rebases previously. > > No, the git commit messages here doesn't matter, the bots will use the PR > name when merging into master. It's good form to use reasonably consistent > commit messages as you add commits to a PR, but altering commit history is > not necessary and might even be disruptive once a PR has been opened. > > There's the /summary command you could use to add additional comments to the > final commit, see > https://wiki.openjdk.java.net/display/SKARA/Pull+Request+Commands#PullRequestCommands-/summary Thanks @cl4es will adjust my submissions appropriately in the future. ------------- PR: https://git.openjdk.java.net/jdk/pull/3078
