diff options
author | Vladimír Čunát <vcunat@gmail.com> | 2016-06-29 21:42:45 +0200 |
---|---|---|
committer | Vladimír Čunát <vcunat@gmail.com> | 2016-06-29 21:44:05 +0200 |
commit | 156105c489f52695492c407b0c0ae606883d27c0 (patch) | |
tree | a4074f9d0833689c7f423f455587f32259b3b417 /.github | |
parent | 0967b0d303dc6fc297c25ec4885b7dd944f3bea3 (diff) | |
download | nixpkgs-156105c489f52695492c407b0c0ae606883d27c0.tar nixpkgs-156105c489f52695492c407b0c0ae606883d27c0.tar.gz nixpkgs-156105c489f52695492c407b0c0ae606883d27c0.tar.bz2 nixpkgs-156105c489f52695492c407b0c0ae606883d27c0.tar.lz nixpkgs-156105c489f52695492c407b0c0ae606883d27c0.tar.xz nixpkgs-156105c489f52695492c407b0c0ae606883d27c0.tar.zst nixpkgs-156105c489f52695492c407b0c0ae606883d27c0.zip |
PR template: go back to old option name for now
The old one works on all nix(os) versions, whereas the new one doesn't work e.g. on default 16.03 setting. Discussed on #15112.
Diffstat (limited to '.github')
-rw-r--r-- | .github/PULL_REQUEST_TEMPLATE.md | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/.github/PULL_REQUEST_TEMPLATE.md b/.github/PULL_REQUEST_TEMPLATE.md index 981ed156b34..5d13d3086f7 100644 --- a/.github/PULL_REQUEST_TEMPLATE.md +++ b/.github/PULL_REQUEST_TEMPLATE.md @@ -4,8 +4,8 @@ ###### Things done - [ ] 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) + ([nix.useChroot](http://nixos.org/nixos/manual/options.html#opt-nix.useChroot) on NixOS, + or option `build-use-chroot` in [`nix.conf`](http://nixos.org/nix/manual/#sec-conf-file) on non-NixOS) - Built on platform(s) - [ ] NixOS |