Add a scripted-diff
label for pull requests that contain scripted-diff:
commits, to make sure that CI is running them properly.
Inspired by #29692
Note that I’ve used https://docs.github.com/en/actions/writing-workflows/choosing-what-your-workflow-does/using-github-cli-in-workflows instead of e.g. actions-ecosystem/action-add-labels
since it’s a lot simpler, can be tried locally and documents a lot better what we’re doing (it’s also what their example uses in https://docs.github.com/en/actions/use-cases-and-examples/project-management/adding-labels-to-issues).