-
Notifications
You must be signed in to change notification settings - Fork 1.8k
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
[v7] Backport #11085 #11233
[v7] Backport #11085 #11233
Conversation
- Rename the page, since it's about diagnostics rather than metrics alone - Change major section headings to H2s so they apper in the table of contents - Move information about heartbeats and recovery to an H3 so it's more visible Updates #10799 Co-authored-by: Paul Gottschling <[email protected]>
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.
@zmb3, could we make your backport tool set the title/description of the PRs according to the original? A git log full of "[vN] Backport #XXXX" isn't the best.
Good idea @codingllama - done. Also note that the git log still has full fidelity, as the title of the PR is not the same as the commit message that is backported. |
Backports #11085