diff options
author | Frederik Rietdijk <fridh@fridh.nl> | 2017-07-22 18:04:19 +0200 |
---|---|---|
committer | Frederik Rietdijk <fridh@fridh.nl> | 2017-07-22 18:05:16 +0200 |
commit | 138eba0bff16d31e62debeb67a4c90e64d28530a (patch) | |
tree | 867b43ed7df06e613ae1fdf806a85d5b830efe1a /.github | |
parent | 2fb3cc1e6d0df4b973e22d5b104dcd13716cccca (diff) |
Pull request template: clarify the purpose of the template
Diffstat (limited to '.github')
-rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 4b9345b087ee3..3247b15834214 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -3,6 +3,8 @@ ###### Things done +Please check what applies. Note that these are not hard requirements but mereley serve as information for reviewers. + - [ ] Tested using sandboxing ([nix.useSandbox](http://nixos.org/nixos/manual/options.html#opt-nix.useSandbox) on NixOS, or option `build-use-sandbox` in [`nix.conf`](http://nixos.org/nix/manual/#sec-conf-file) |