Skip to content

publish updates from main #22565

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
merged 2 commits into from
May 5, 2025
Merged

publish updates from main #22565

merged 2 commits into from
May 5, 2025

Conversation

github-actions[bot]
Copy link

@github-actions github-actions bot commented May 4, 2025

Automated pull request for publishing docs updates.

## Description

Update to additional headings: just one.

General comment: best to steer away from gerunds (-ing ending) in
headings. Most of the headings are not that, so, consistency is best.

## Related issues or tickets

Issue 22559, second PR on that issues.

## Reviews

To Sarah Sanders for review.
@github-actions github-actions bot added the area/release Relates to CI or deployment label May 4, 2025
<!--Delete sections as needed -->

## Description

<!-- Tell us what you did and why -->

## Related issues or tickets

<!-- Related issues, pull requests, or Jira tickets -->

## Reviews

<!-- Notes for reviewers here -->
<!-- List applicable reviews (optionally @tag reviewers) -->

- [ ] Technical review
- [ ] Editorial review
- [ ] Product review
@craig-osterhout craig-osterhout enabled auto-merge May 5, 2025 16:02
@craig-osterhout craig-osterhout merged commit 278ed01 into published May 5, 2025
11 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/release Relates to CI or deployment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants