Update PR template

apalache-mc · May 24, 2022 · 326a00d · 326a00d
1 parent d1b4c2b
commit 326a00d
Showing 1 changed file with 3 additions and 1 deletion.
diff --git a/.github/pull_request_template.md b/.github/pull_request_template.md
@@ -3,4 +3,6 @@
 - [ ] Tests added for any new code
 - [ ] Ran `make fmt-fix` (or had formatting run automatically on all files edited)
 - [ ] Documentation added for any new functionality
-- [ ] Entry added to [UNRELEASED.md](./UNRELEASED.md) for any new functionality
+- [ ] Entries added to [./unreleased/][unreleased] for any new functionality
+
+[unreleased]: https://github.com/informalsystems/apalache/tree/unstable/.unreleased