Skip to content

external tool upgrade: fixed width + alphabetical sort for Platforms#23095

Merged
cburroughs merged 1 commit intopantsbuild:mainfrom
cburroughs:csb/ext-hobgoblin
Feb 17, 2026
Merged

external tool upgrade: fixed width + alphabetical sort for Platforms#23095
cburroughs merged 1 commit intopantsbuild:mainfrom
cburroughs:csb/ext-hobgoblin

Conversation

@cburroughs
Copy link
Contributor

This implements the -- I think -- consensus --position from #23045, namely:

  • Lexicographic sort of platform
  • Fixed width platform: yes

@cburroughs cburroughs self-assigned this Feb 11, 2026
@cburroughs cburroughs added the release-notes:not-required [CI] PR doesn't require mention in release notes label Feb 11, 2026
This implements the -- I think -- consensus --position from pantsbuild#23045,
namely:
 * Lexicographic sort of platform
 * Fixed width platform: yes
@cburroughs cburroughs marked this pull request as ready for review February 11, 2026 22:27
@cburroughs cburroughs requested a review from grihabor February 11, 2026 22:27
@cburroughs
Copy link
Contributor Author

(polite review bump if this one got lost in the shuffle)

Copy link
Contributor

@grihabor grihabor left a comment

Choose a reason for hiding this comment

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

lgtm 👍

@cburroughs cburroughs merged commit 29a0ff6 into pantsbuild:main Feb 17, 2026
48 of 50 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

release-notes:not-required [CI] PR doesn't require mention in release notes

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants

Comments