Merge remote-tracking branch 'origin/master' into develop
commit04d9aae43d49e0e3d27177356a724ac20dd37b5e
authorElliot Cameron <eacameron@gmail.com>
dateTue 14 Jan 2020, 16:10 (7 years ago)
parentc969e9962131ac
.github/pull_request_template.mdnew file+8
@@ -0,0 +1,8 @@
1+[Provide a clear overview of your changes.]
2+
3+I have:
4+
5+ - [ ] Based work on latest `develop` branch
6+ - [ ] Looked for lint in my changes with `hlint .` (lint found code you did not write can be left alone)
7+ - [ ] Run the test suite: `$(nix-build -A selftest --no-out-link)`
8+ - [ ] (Optional) Run CI tests locally: `nix-build release.nix -A build.x86_64-linux --no-out-link` (or `x86_64-darwin` on macOS)