]> git.ipfire.org Git - thirdparty/gcc.git/commitdiff
projects / thirdparty / gcc.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: d0dad09 c146eb7)
Merge #1788
authorbors[bot] <26634292+bors[bot]@users.noreply.github.com>
Tue, 31 Jan 2023 21:46:24 +0000 (21:46 +0000)
committerGitHub <noreply@github.com>
Tue, 31 Jan 2023 21:46:24 +0000 (21:46 +0000)
1788: ci: Add commit format checker r=CohenArthur a=CohenArthur

Bring over the commit checker from `gcc-patch-dev` with the `gccrs` prefix checker enabled only for `gcc-patch-dev` PRs. I'll open up an issue to make sure that in the future it's easier to keep that folder in sync between the two branches

Co-authored-by: Arthur Cohen <arthur.cohen@embecosm.com>

Trivial merge
Mirror of https://gcc.gnu.org/git/gcc.git