10 Commits (a2b4da3d1c308bf8a8266124df85e9f843cdf308)

Author	SHA1	Message	Date
CleanMachine1	6637acf662	scripts: add SPDX-License-Identifier in files (#6215)	2021-07-16 14:15:31 +01:00
Owen Voke	7d1e2e24ef	tools: update script references to 'main' branch	2021-05-01 20:10:05 +01:00
bl-ue	d607f853be	scripts/*.sh: set executable permission (#5461) ... In most repos, executable shell scripts have the executable bit set.	2021-03-31 00:32:17 +01:00
Jamie Magee	34f8c610df	Checkout all branches in GitHub Actions (#4437) ... By default actions/checkout@v2 only checks out the latest commit of the current branch. Unfortunately, this causes the `git diff` check in `check-pr.sh` to fail, as `master` branch isn't available`. This change checks out all commits of all branches, which allows `git diff` to work correctly. Ideally, I'd like to use the `ref` setting of actions/checkout@v2, but that only supports a single ref so it's not possible to checkout the PR branch _and_ `master` branch at the same time.	2020-10-05 16:23:08 +01:00
Owen Voke	68f8e470d1	Fix PULL_REQUEST_ID reference when not set	2020-06-26 18:55:59 +02:00
Owen Voke	5e958f6074	Update scripts to use PULL_REQUEST_ID	2020-06-26 18:55:59 +02:00
Owen Voke	7472600aa1	Update Travis references in scripts	2020-06-26 18:55:59 +02:00
Marco Bonelli	359ada47c7	Scripts: use POSIX subcommand invocation	2019-11-29 16:01:25 +00:00
Marco Bonelli	11ad7b5203	Check PR: optimize script	2019-11-29 16:01:25 +00:00
Marco Bonelli	581821448e	Add check-pr script ... This script will be run by Travis-CI (on PR builds only) to run some useful checks. Refer to the comment at the top of the script for more information.	2019-11-29 16:01:25 +00:00