Rename workflow.

Add missing repo.yml check.
Create whitelist for "[email protected]".

Author: devrev-jo

.github/workflows/global-checks.yml

@@ -3,7 +3,7 @@ name: global checks
 on: pull_request
 
 jobs:
-  hello:
+  global_checks:
     runs-on: ubuntu-latest
     steps:
       - name: Check out target repository
@@ -20,8 +20,12 @@ jobs:
           pip install strictyaml
       - name: Check that there is a CODEOWNERS file
         run: |
-          echo "Check whether the repo has a codeowners file"
+          echo "Check whether the repo has a .github/CODEOWNERS file"
           python .global-checks-tooling/checks/check_codeowners.py
+      - name: Check that there is a valid repo.yml file
+        run: |
+          echo "Check whether the repo has a valid .devrev/repo.yml file"
+          python .global-checks-tooling/checks/check_repo_yml.py
       - name: Check that the committers are from devrev.ai
         run: |
           echo "Get the email addresses of the committers"

checks/check_commit_emails.py

@@ -2,6 +2,10 @@
 
 EMAILS_PATH = ".global-checks-tooling/committers.txt"
 
+WHITELIST = [
+    "[email protected]",
+]
+
 # Check that the emails in the file are from @devrev.ai.
 def check_commit_emails():
     """
@@ -16,6 +20,8 @@ def check_commit_emails():
 
     for email in emails:
         email = email.strip()
+        if email in WHITELIST:
+            continue
         if not email.endswith("@devrev.ai"):
             print(f"Error: Non devrev.ai email {email} in committers list.")
             return False