c28939c250
* Revert "Github Actions pull_request synchronize runs on PR open anyway (#2418)"
This reverts commit 8c72c5d0e6.
* Update pull_request.yaml