github-action: adjust for master to main rename

pull/13855/head
Victor Julien 7 months ago
parent 2444feed0d
commit 63767252be

@ -20,8 +20,8 @@ jobs:
ref: ${{ github.event.pull_request.head.sha }}
fetch-depth: 0
- run: sudo apt -y install git
- name: Export known authors from master branch
run: git log --format="%an <%ae>" origin/master | sort | uniq > authors.txt
- name: Export known authors from main branch
run: git log --format="%an <%ae>" origin/main | sort | uniq > authors.txt
- name: Export authors from new commits
run: git log --format="%an <%ae>" ${{ github.event.pull_request.base.sha }}... | sort | uniq > commit-authors.txt
- name: Check new authors

@ -2,13 +2,13 @@ name: "CodeQL"
on:
push:
branches: [ master ]
branches: [ main ]
paths-ignore:
- "doc/**"
- "etc/schema.json"
pull_request:
# The branches below must be a subset of the branches above
branches: [ master ]
branches: [ main ]
paths-ignore:
- "doc/**"
- "etc/schema.json"

@ -2,13 +2,13 @@ name: "CodeQL"
on:
push:
branches: [ master ]
branches: [ main ]
paths:
- "python/**"
- "**/*.py"
pull_request:
# The branches below must be a subset of the branches above
branches: [ master ]
branches: [ main ]
paths:
- "python/**"
- "**/*.py"

@ -4,7 +4,7 @@ on:
push:
# Only run on pushes to pull request branches
branches-ignore:
- 'master'
- 'main'
- 'master-*'
paths-ignore:
- "doc/**"

@ -5,7 +5,7 @@ on:
schedule:
- cron: '28 22 * * 6'
push:
branches: [ master ]
branches: [ main ]
concurrency:
group: ${{ github.workflow }}-${{ github.ref }}

Loading…
Cancel
Save