diff options
| author | Rémi Verschelde <rverschelde@gmail.com> | 2020-07-23 09:47:11 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-07-23 09:47:11 +0200 |
| commit | 6ad0aecb3b6757ea26f10f39ecc12cb53ff928f8 (patch) | |
| tree | 6c80b2916d91366cab0bdb1426622073780452ee /doc/tools | |
| parent | b51688f6b0865e94171c76219ead64bdba597607 (diff) | |
| parent | 78693cdc552b5e902c67b2be96903b2f242bc0a7 (diff) | |
Merge pull request #39871 from aaronfranke/pr-template
Add a PR template with a message about PRs needing to be for master
Diffstat (limited to 'doc/tools')
0 files changed, 0 insertions, 0 deletions