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
..
workflows	Checkout all branches in GitHub Actions (#4437)	2020-10-05 16:23:08 +01:00
ISSUE_TEMPLATE.md	Harmonize project name (lowercase tldr, no semicolon, hyphen-separated)	2020-05-27 22:22:32 +02:00
PULL_REQUEST_TEMPLATE.md	style-guide and PR template: add web link guidelines to checklists (#3030)	2019-05-18 17:43:29 +02:00