Skip to content
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

Repo sync #36390

Closed
wants to merge 8 commits into from
Closed

Repo sync #36390

wants to merge 8 commits into from

Conversation

docs-bot
Copy link
Collaborator

This is an automated pull request to sync changes between the public and private repos.
Our bot will merge this pull request automatically.
To preserve continuity across repos, do not squash this pull request.

dependabot bot and others added 5 commits February 19, 2025 18:38
Signed-off-by: dependabot[bot] <[email protected]>
Co-authored-by: dependabot[bot] <49699333+dependabot[bot]@users.noreply.github.com>
Co-authored-by: Kevin Heis <[email protected]>
Co-authored-by: Copilot <[email protected]>
Co-authored-by: Jules <[email protected]>
Co-authored-by: Kevin Heis <[email protected]>
Co-authored-by: Kevin Heis <[email protected]>
Co-authored-by: Carlin Cherry <[email protected]>
@Copilot Copilot bot review requested due to automatic review settings February 20, 2025 06:35
@github github locked as spam and limited conversation to collaborators Feb 20, 2025
@github-actions github-actions bot added the triage Do not begin working on this issue until triaged by the team label Feb 20, 2025
@docs-bot docs-bot closed this Feb 20, 2025
auto-merge was automatically disabled February 20, 2025 09:34

Pull request was closed

Copy link
Contributor

@felicitymay felicitymay left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

As far as I can tell, any other conflicts were resolved correctly. I'm going to approve, re-open, and merge this PR.

Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
triage Do not begin working on this issue until triaged by the team
Projects
None yet
Development

Successfully merging this pull request may close these issues.

6 participants