Skip to content

Conversation

@ilbertt
Copy link
Member

@ilbertt ilbertt commented Dec 11, 2025

Fix minor typos in docs.

@ilbertt ilbertt requested a review from a team as a code owner December 11, 2025 14:09
@ilbertt ilbertt added this pull request to the merge queue Dec 11, 2025
github-merge-queue bot pushed a commit that referenced this pull request Dec 11, 2025
Fix minor typos in docs.
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2025
@ilbertt ilbertt added this pull request to the merge queue Dec 11, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2025
@ilbertt ilbertt added this pull request to the merge queue Dec 11, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2025
@ilbertt ilbertt added this pull request to the merge queue Dec 11, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2025
@ilbertt ilbertt added this pull request to the merge queue Dec 11, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2025
@ilbertt ilbertt added this pull request to the merge queue Dec 11, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2025
@ilbertt ilbertt added this pull request to the merge queue Dec 11, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2025
@ilbertt ilbertt added this pull request to the merge queue Dec 11, 2025
@github-merge-queue github-merge-queue bot removed this pull request from the merge queue due to failed status checks Dec 11, 2025
@ilbertt ilbertt closed this Dec 11, 2025
@ilbertt ilbertt reopened this Dec 11, 2025
@ilbertt ilbertt enabled auto-merge December 11, 2025 16:56
@ilbertt ilbertt added this pull request to the merge queue Dec 15, 2025
Merged via the queue into main with commit 446e64c Dec 15, 2025
65 of 84 checks passed
@ilbertt ilbertt deleted the luca/docs branch December 15, 2025 09:19
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants