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

doc: tweaks. #20557

Merged
merged 1 commit into from
Feb 16, 2024
Merged

doc: tweaks. #20557

merged 1 commit into from
Feb 16, 2024

Conversation

kaos
Copy link
Member

@kaos kaos commented Feb 16, 2024

No description provided.

@kaos kaos added needs-cherrypick category:internal CI, fixes for not-yet-released features, etc. labels Feb 16, 2024
@kaos kaos added this to the 2.20.x milestone Feb 16, 2024
@kaos kaos merged commit 815ccda into main Feb 16, 2024
24 checks passed
@kaos kaos deleted the kaos/doc-tweaks branch February 16, 2024 16:01
WorkerPants pushed a commit that referenced this pull request Feb 16, 2024
@WorkerPants
Copy link
Member

I tried to automatically cherry-pick this change back to each relevant milestone, so that it is available in those older releases of Pants.

✔️ 2.20.x

Successfully opened #20558.


Thanks again for your contributions!

🤖 Beep Boop here's my run link

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
category:internal CI, fixes for not-yet-released features, etc.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants