VIDCS-3252: Resolve GitHub Mend warnings for VERA (#24)

Co-authored-by: Sachin Dwivedi <[email protected]>

.github/workflows/check-pull-request-title.yml

@@ -16,15 +16,14 @@ jobs:
           set -e
 
           pr_name="${{ github.event.pull_request.title }}"
-          echo "PR Title: '${pr_name}'"
 
           # Regex to check following:
           # Starts with "VIDCS-" followed by digits
           # A colon (:) followed by exactly one space
           # followed by the actual PR title text
           regex="^VIDCS-[0-9]+: [^ ].*$"
 
-          if [[ "$pr_name" =~ $regex ]]; then
+          if echo "$pr_name" | grep -Eq "$regex"; then
             echo "Acceptable title"
             exit 0
           else