Skip to content

tools: remove unused `lint-pr-commit-message.sh`

Rodrigo Muino Tomonari requested to merge github/fork/richardlau/rm-script into master

tools/lint-pr-commit-message.sh was previously used to lint the commit message of the first commit in a pull request but is now no longer used -- commit message linting is now done in a GitHub actions workflow which does not call this script.

Merge request reports