From: Arthur Cohen <arthur.cohen@embecosm.com>
Date: Wed, 1 Feb 2023 18:11:32 +0000 (+0100)
Subject: ci: Require commits check to pass for bors to merge and fix CI names
X-Git-Url: http://git.ipfire.org/cgi-bin/gitweb.cgi?a=commitdiff_plain;h=7f66312db45e3e157123108934f6cf0c71a1c235;p=thirdparty%2Fgcc.git

ci: Require commits check to pass for bors to merge and fix CI names

ChangeLog:

	* .github/bors.toml: Add commit checkers.
	* .github/workflows/commit-format.yml: Rename commit checker jobs.
---

diff --git a/.github/bors.toml b/.github/bors.toml
index 921cf6502ce4..8c4607e30075 100644
--- a/.github/bors.toml
+++ b/.github/bors.toml
@@ -1,7 +1,10 @@
 status = [
   "build-and-check-ubuntu-64bit",
   "build-and-check-ubuntu-32bit",
-  "build-and-check-gcc-48"
+  "build-and-check-gcc-48",
+  "check-commit-changelogs",
+  "check-commit-prefixes",
+  "check-commit-signoffs",
 ]
 # Uncomment this to use a two hour timeout.
 # The default is one hour.
diff --git a/.github/workflows/commit-format.yml b/.github/workflows/commit-format.yml
index 66d0e19bf751..2e551fd1b00c 100644
--- a/.github/workflows/commit-format.yml
+++ b/.github/workflows/commit-format.yml
@@ -7,7 +7,7 @@ on:
       - gcc-patch-dev
 
 jobs:
-  check_commit_changelogs:
+  check-commit-changelogs:
     runs-on: ubuntu-latest
     name: check-changelogs
     
@@ -28,7 +28,7 @@ jobs:
         run: |
           python3 contrib/gcc-changelog/git_check_commit.py origin/${{ github.event.pull_request.base.ref }}..${{ github.event.pull_request.head.sha }}
 
-  check_commit_prefixes:
+  check-commit-prefixes:
     runs-on: ubuntu-latest
     name: check-gccrs-prefix
     
@@ -54,7 +54,7 @@ jobs:
           done
           exit $retval
 
-  check_commit_signoff:
+  check-commit-signoff:
     runs-on: ubuntu-latest
     name: check-commit-signoff