adaptations for nightly-2024-08-14

Stream: nightly-testing

[Kim Morrison]

#15827

[Damiano Testa]

These PRs to non-master branches do not get the PR summary. However, the scripts should really take two commit hashes and compute the difference based on those.

[Damiano Testa]

Would it be useful to think about adapting the action so that all PRs get their summary?

[Damiano Testa]

Oh, sorry, I did not scroll down far enough!

[Damiano Testa]

They may still only get the diff with master, though, not the branch on which they are getting PRed.

[Johan Commelin]

@Kim Morrison I've given :peace_sign:

[Johan Commelin]

Should we document a bit in the PR commit message why this diff is so large?

[Kim Morrison]

I merged bump/v4.12.0 into it; the diff is only 16 files.

[Kim Morrison]

and I've merged.