Sebastiaan Speck
|
4cb42adc19
check-pr: add the ability to run with verbose logging (#14577)
|
1 maand geleden |
Sebastiaan Speck
|
eb44fe48f4
check-pr: clarify the messages for new contributors (#14352)
|
1 maand geleden |
Lena
|
b421868b4e
scripts/*.sh: establish some conventions (#13999)
|
2 maanden geleden |
Sebastiaan Speck
|
70d2c92ac0
test: use shellcheck for Bash files (#13974)
|
2 maanden geleden |
Sebastiaan Speck
|
da8862ffb4
CI: check if the page title is up-to-date (#13654)
|
3 maanden geleden |
Sebastiaan Speck
|
1843cebe68
CI: check if the more info link is up-to-date (#13653)
|
3 maanden geleden |
Sebastiaan Speck
|
cca2ec4765
CI: mute output from Python script (#13603)
|
3 maanden geleden |
Sebastiaan Speck
|
dcf36b0d97
CI: check if the more info link is up-to-date (#13566)
|
3 maanden geleden |
Sebastiaan Speck
|
54f284164d
check-pr: fix typo (#12038)
|
11 maanden geleden |
Sebastiaan Speck
|
31dd28e9a7
check-pr: only check if new platform-specific page exists as common duplicate (#11993)
|
11 maanden geleden |
Sebastiaan Speck
|
b2f0fb4c04
scripts/check-pr: check only for English pages (#11980)
|
11 maanden geleden |
Sebastiaan Speck
|
36a50f5495
check-pr: fix check_duplicates (#11954)
|
11 maanden geleden |
Sebastiaan Speck
|
ca222b2b81
check-pr: add special case for '(' and ')' (#11869)
|
11 maanden geleden |
Sebastiaan Speck
|
4e280a9efe
check-pr: add < and > as special cases and refactor (#11841)
|
11 maanden geleden |
Sebastiaan Speck
|
6edd7d1854
check-pr: use better regex (#11525)
|
1 jaar geleden |
Sebastiaan Speck
|
8f1ca06f30
check-pr: add outdated-check (#11498)
|
1 jaar geleden |
Sebastiaan Speck
|
75d9f61819
check-pr: add check to see if English page exists (#11470)
|
1 jaar geleden |
Sebastiaan Speck
|
4ea80ce3b3
check-pr: fix GitHub Action to gather the diff (#11425)
|
1 jaar geleden |
Lena
|
250b9d7c21
scripts: use `[[` instead of `[`, fix literal shell globs (#11290)
|
1 jaar geleden |
CleanMachine1
|
6637acf662
scripts: add SPDX-License-Identifier in files (#6215)
|
3 jaren geleden |
Owen Voke
|
7d1e2e24ef
tools: update script references to 'main' branch
|
3 jaren geleden |
bl-ue
|
d607f853be
scripts/*.sh: set executable permission (#5461)
|
3 jaren geleden |
Jamie Magee
|
34f8c610df
Checkout all branches in GitHub Actions (#4437)
|
4 jaren geleden |
Owen Voke
|
68f8e470d1
Fix PULL_REQUEST_ID reference when not set
|
4 jaren geleden |
Owen Voke
|
5e958f6074
Update scripts to use PULL_REQUEST_ID
|
4 jaren geleden |
Owen Voke
|
7472600aa1
Update Travis references in scripts
|
4 jaren geleden |
Marco Bonelli
|
359ada47c7
Scripts: use POSIX subcommand invocation
|
5 jaren geleden |
Marco Bonelli
|
11ad7b5203
Check PR: optimize script
|
5 jaren geleden |
Marco Bonelli
|
581821448e
Add check-pr script
|
5 jaren geleden |