summaryrefslogtreecommitdiff
path: root/.github
AgeCommit message (Collapse)Author
2020-01-09workflows: add contributor license agreement checker (#155)Chad Smith
Check whether the pull request submitter has signed the CLA due to presence of github.actor in tools/.lp-to-git-user Set 'CLA signed' if present, 'CLA not signed' label if absent * grep for the full github username in CLA file Co-authored-by: Daniel Watkins <daniel@daniel-watkins.co.uk>
2019-11-07github: drop pull-request template to prepare for migrationRyan Harper
2019-08-19Add GitHub pull request template to point people at hacking docDaniel Watkins
This will hopefully avoid people submitting PRs against our mirror repo. (Thanks to GitHub user @max06 for this suggestion!)