On Tue, 6 May 2025 11:30:09 GMT, Jaikiran Pai <j...@openjdk.org> wrote:
> > do you mean merging master branch into this branch? > > Yes, that's correct. That should then run the GitHub actions job against this > PR against a more relevant state of this PR. > > Since things have settled and the CSR approved, I'll also run this PR against > our CI to verify nothing fails unexpectedly. I will anyway be doing the merge > against master locally before submitting for tier testing, but it's always a > good practice to keep the PR updated with latest master changes, when the > master branch has seen too many commits since the PR was opened. Yes that is pretty clear. I'm using git since decades but always do rebase in all other project, so my question was only about *how* to perform the update. 🙂 ------------- PR Comment: https://git.openjdk.org/jdk/pull/21730#issuecomment-2855286477