Merge pull request #1813 from informalsystems/shon/update-pr-template

Update PR template
apalache-mc · May 24, 2022 · 597f39f · 597f39f
2 parents d1b4c2b + fafa6f0
commit 597f39f
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 28 deletions.
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
diff --git a/UNRELEASED.md b/UNRELEASED.md
diff --git a/script/shared.sh b/script/shared.sh
@@ -9,7 +9,6 @@ exports () {
     DIR="$( cd "$( dirname "${BASH_SOURCE[0]}" )" >/dev/null 2>&1 && pwd )"
 
     export PROJ_ROOT="${DIR}/.."
-    export UNRELEASED="${PROJ_ROOT}/UNRELEASED.md"
     export CHANGES="${PROJ_ROOT}/CHANGES.md"
     export RELEASE_NOTES="${PROJ_ROOT}/RELEASE.md"
 }