 Sebastiaan Speck
|
75d9f61819
check-pr: add check to see if English page exists (#11470)
|
hace 1 año |
|
Sebastiaan Speck
|
4ea80ce3b3
check-pr: fix GitHub Action to gather the diff (#11425)
|
hace 1 año |
 Lena
|
250b9d7c21
scripts: use `[[` instead of `[`, fix literal shell globs (#11290)
|
hace 1 año |
 CleanMachine1
|
6637acf662
scripts: add SPDX-License-Identifier in files (#6215)
|
hace 3 años |
 Owen Voke
|
7d1e2e24ef
tools: update script references to 'main' branch
|
hace 4 años |
 bl-ue
|
d607f853be
scripts/*.sh: set executable permission (#5461)
|
hace 4 años |
 Jamie Magee
|
34f8c610df
Checkout all branches in GitHub Actions (#4437)
|
hace 4 años |
|
Owen Voke
|
68f8e470d1
Fix PULL_REQUEST_ID reference when not set
|
hace 4 años |
|
Owen Voke
|
5e958f6074
Update scripts to use PULL_REQUEST_ID
|
hace 4 años |
|
Owen Voke
|
7472600aa1
Update Travis references in scripts
|
hace 4 años |
 Marco Bonelli
|
359ada47c7
Scripts: use POSIX subcommand invocation
|
hace 5 años |
|
Marco Bonelli
|
11ad7b5203
Check PR: optimize script
|
hace 5 años |
|
Marco Bonelli
|
581821448e
Add check-pr script
|
hace 5 años |
