auto merge main into release/*

[github-actions]

Merge main into release/3.15.0

This PR was automatically generated in response to a push to main,
and is a chance to review any changes that will be included in the release
branch before merging. Under most circumstances, this PR will probably be
a formality. However, there are a few cases where we may need to do some
extra work to make sure release/3.15.0 contains what it should after the
merge:

There is a merge conflict in this PR

1. Leave a comment on this PR about the merge conflict and close the PR.
2. In your fork, git pull the upstream main and release/3.15.0.
3. Make a new pr-resolution branch off of release/3.15.0:

   $ git checkout main
   $ git pull upstream main  # Include the latest changes on the upstream main
   $ git checkout release/3.15.0
   $ git pull upstream release/3.15.0  # Include the latest changes on the upstream release
   $ git checkout -b pr-resolution
   $ git merge main

4. Resolve the conflicts locally
5. Commit the changes to pr-resolution.
6. Create a PR from pr-resolution into release/3.15.0, and include a link
   to the origin PR in the description.
7. When the PR is complete, delete the pr-resolution branch. That will
   help us avoid confusion and extra work down the road when we do this again.

This PR contains content that should not be in release/3.15.0

1. Leave a comment on this PR about the content that should not be included
   and close the PR.
2. In your fork, git pull the upstream main and release/3.15.0.
3. Make a new pr-resolution branch off of release/3.15.0:

   $ git checkout main
   $ git pull upstream main  # Include the latest changes on the upstream main
   $ git checkout release/3.15.0
   $ git pull upstream release/3.15.0  # Include the latest changes on the upstream release
   $ git checkout -b pr-resolution
   $ git merge main

4. Handle the content that should not end up in release/3.15.0 however it
   needs to be handled.
5. Commit the updated content to pr-resolution.
6. Create a PR from pr-resolution into release/3.15.0, and include a link
   to the origin PR in the description.
7. When the PR is complete, delete the pr-resolution branch. That will
   help us avoid confusion and extra work down the road when we do this again.

What happens if we accidentally merge something we shouldn't?

There are several possibilities for recovery if we get to such a state.

1. A merge can be undone through the github interface if the error is caught
   directly after the PR is merged.
2. If we're commits in past the erroneous merge, create a branch off of
   release/3.15.0, back out of the changes or edit files needed to resolve
   the issue, and PR the branch back into release/3.15.0.

Why was this PR created?

The workflow defining this PR is located at
.github/workflows/auto-pr-from-main-into-releases.yml. In short, this PR
was created because there was a push to main that triggered this
workflow. Some events that can trigger this include:

• Other pull requests being merged into main
• Automated releases on main
• Any manual push to main, if ever that happens (which shouldn't be the
  case given our branch protections)