Add reminder to mark PR as ready for review to trigger CI

This commit is contained in:
Michael B. Gale 2025-06-23 15:05:50 +01:00
parent 0cec254fa1
commit 6e22e41a25
No known key found for this signature in database
GPG key ID: FF5E2765BD00628F

View file

@ -87,6 +87,7 @@ jobs:
Please do the following before merging:
- [ ] Verify that the changes to the code are correct.
- [ ] Mark the PR as ready for review to trigger the CI.
EOF
)