... | @@ -8,7 +8,8 @@ First, create a std++ release. The process is nearly the same except you should |
... | @@ -8,7 +8,8 @@ First, create a std++ release. The process is nearly the same except you should |
|
- [ ] Add the list of contributors since the last release. You can get this list with a command like `git shortlog --summary iris-3.4.0..HEAD` (which gets commits since the iris-3.4.0 tag). We list contributors in alphabetical order by first name. Check the list for duplicates due to slightly different names.
|
|
- [ ] Add the list of contributors since the last release. You can get this list with a command like `git shortlog --summary iris-3.4.0..HEAD` (which gets commits since the iris-3.4.0 tag). We list contributors in alphabetical order by first name. Check the list for duplicates due to slightly different names.
|
|
- [ ] Add the release date to the CHANGELOG files.
|
|
- [ ] Add the release date to the CHANGELOG files.
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag. (See `git tag --list` output for the tag naming scheme.)
|
|
- [ ] (for a maintainer) Once the PR lands, create a git tag. (See `git tag --list` output for the tag naming scheme.)
|
|
- [ ] Update the Iris appendix on https://iris-project.org/ and bump the version number in the tex files.
|
|
- [ ] (for someone with access to the website hosting) Update the Iris appendix on https://iris-project.org/
|
|
|
|
- [ ] (for a maintainer) Bump the version number in the tex files.
|
|
- [ ] Submit a PR to https://github.com/coq/opam-coq-archive/ for the new opam packages. You can try using https://gist.github.com/tchajed/20635813aec53677c65d482c1b1bb834, which automates this process.
|
|
- [ ] Submit a PR to https://github.com/coq/opam-coq-archive/ for the new opam packages. You can try using https://gist.github.com/tchajed/20635813aec53677c65d482c1b1bb834, which automates this process.
|
|
- Clone that repository.
|
|
- Clone that repository.
|
|
- `cd` to `released/packages/coq-stdpp`, create a new subfolder `coq-stdpp.$VERSION`.
|
|
- `cd` to `released/packages/coq-stdpp`, create a new subfolder `coq-stdpp.$VERSION`.
|
... | | ... | |