Files
Sean Hagstrom 49231575d2 chore: add CI lint job for checking titles of pull-request git commits for donotmerge (#22262)
This change adds a new CI job for linting the titles of git commits of pull requests for the keyword `donotmerge`. If that keyword is present, then the CI job will fail, which will block the PR from being merged into develop. This rule is useful for allowing core contributors to commit temporary commits for testing without worrying about accidentally merging those commits.
2025-03-19 09:11:15 +00:00
..