Age | Commit message (Collapse) | Author | |
---|---|---|---|
2020-01-09 | workflows: 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-07 | github: drop pull-request template to prepare for migration | Ryan Harper | |
2019-08-19 | Add GitHub pull request template to point people at hacking doc | Daniel Watkins | |
This will hopefully avoid people submitting PRs against our mirror repo. (Thanks to GitHub user @max06 for this suggestion!) |