chore: updates in preparation for v1.0.0-rc2#4454
Conversation
cason
left a comment
There was a problem hiding this comment.
Thanks for this.
We have to pay attention to what goes to the CHANGELOG of this new release. It is kind of confusing because we are considering all unreleased changes, which include stuff that is only in main.
Nonetheless, some entries are poorly written and the description of some important changes is missing.
Co-authored-by: Daniel <daniel.cason@informal.systems>
Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com>
@cason, yes, the Then I will open another PR with the generated Thanks ! |
|
This pull request has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions. |
…into andy/changelog-v1-rc2
Updates in preparation for `v1.0.0-rc2`: - `summary.md` - Tutorial instructions #### PR checklist - [ ] Tests written/updated - [X] Changelog entry added in `.changelog` (we use [unclog](https://github.com/informalsystems/unclog) to manage our changelog) - [x] Updated relevant documentation (`docs/` or `spec/`) and code comments --------- Co-authored-by: Daniel <daniel.cason@informal.systems> Co-authored-by: Anton Kaliaev <anton.kalyaev@gmail.com> Co-authored-by: mergify[bot] <37929162+mergify[bot]@users.noreply.github.com> (cherry picked from commit 0cb58b5) # Conflicts: # .changelog/unreleased/summary.md
Updates in preparation for
v1.0.0-rc2:summary.mdPR checklist
.changelog(we use unclog to manage our changelog)docs/orspec/) and code comments