New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
[Merged by Bors] - Prepare v1.1.2 release #4898
Conversation
Codecov Report
@@ Coverage Diff @@
## develop #4898 +/- ##
=======================================
Coverage 76.7% 76.8%
=======================================
Files 256 256
Lines 29635 29635
=======================================
+ Hits 22757 22761 +4
+ Misses 5411 5403 -8
- Partials 1467 1471 +4 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
Looks good to me 👍
@@ -2,7 +2,7 @@ | |||
|
|||
See [RELEASE](./RELEASE.md) for workflow instructions. | |||
|
|||
## UNRELEASED | |||
## v1.1.2 |
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
i thought that we may want to put a placeholder for UNRELEASED when cutting a release, but it is cleaner to add UNRELEASED section with first change. maybe will store placeholder in RELEASE.md so that it can be copied easily
There was a problem hiding this comment.
Choose a reason for hiding this comment
The reason will be displayed to describe this comment to others. Learn more.
I also thought we add the UNRELEASED section back in with the first change. I'll add a template to the RELEASE.md document
bors merge |
## Motivation Prepares a new release: v1.1.2 ## Changes - Update RELEASE.md - After merge: rebase `v1.1` branch and tag `v1.1.2` ## Test Plan n/a ## TODO <!-- This section should be removed when all items are complete --> - [x] Explain motivation or link existing issue(s) - [x] Test changes and document test plan - [x] Update documentation as needed ## DevOps Notes <!-- Please uncheck these items as applicable to make DevOps aware of changes that may affect releases --> - [x] This PR does not require configuration changes (e.g., environment variables, GitHub secrets, VM resources) - [x] This PR does not affect public APIs - [x] This PR does not rely on a new version of external services (PoET, elasticsearch, etc.) - [x] This PR does not make changes to log messages (which monitoring infrastructure may rely on)
Pull request successfully merged into develop. Build succeeded! The publicly hosted instance of bors-ng is deprecated and will go away soon. If you want to self-host your own instance, instructions are here. If you want to switch to GitHub's built-in merge queue, visit their help page.
|
Motivation
Prepares a new release: v1.1.2
Changes
v1.1
branch and tagv1.1.2
Test Plan
n/a
TODO
DevOps Notes