HDDS-8078. Github CI: Allow PR title starting with Revert

[smengcl]

What changes were proposed in this pull request?

Allow PR title starting with Revert " to pass the PR CI title check.

Support the default title generated by Github's built-in revert PR feature.

What is the link to the Apache JIRA

https://issues.apache.org/jira/browse/HDDS-8078

How was this patch tested?

• Apache CI
• Added test cases
• CI run on a fork with Revert " in PR title has passed:
  • https://github.com/smengcl/hadoop-ozone/actions/runs/4329335098/jobs/7559813493

[kaijchen]

LGTM, thanks @smengcl for the improvement.

PS: Can we improve the Fail: must start with HDDS message?

[smengcl]

Thanks @kaijchen for the review.

PS: Can we improve the Fail: must start with HDDS message?

Doable but not without complicating the checker script. Currently it's just a simple line to strip the string, since the idea is just to ignore the leading Revert ".

I've added a message to improve clarity, hopefully:

❯ ./dev-support/ci/pr_title_check.sh 'Revert "HDDS-12345. Hello World"'
Leading 'Revert "' in the PR title has been stripped solely for this title checking purpose. Performing actual title check on:
HDDS-12345. Hello World"
OK
❯ ./dev-support/ci/pr_title_check.sh 'HDDS-12345. Hello World' 
OK