Skip to content

Sort the builtins.fetchTree doc's lists#14545

Merged
Ericson2314 merged 1 commit intomasterfrom
fetchTree-sort
Nov 12, 2025
Merged

Sort the builtins.fetchTree doc's lists#14545
Ericson2314 merged 1 commit intomasterfrom
fetchTree-sort

Conversation

@Ericson2314
Copy link
Member

Motivation

This makes the output easier to compare with the new machine-generated lists in #9732.

Context

The hand-curated order did have the advantage of putting more important attributes at the top, but I don't think it is worth preserving that when std::map is so much easier to work with. The right solution to leading the reader to the more important attributes is to call them out in the intro texts.


Add 👍 to pull requests you find important.

The Nix maintainer team uses a GitHub project board to schedule and track reviews.

This makes the output easier to compare with the new machine-generated
lists in #9732.

The hand-curated order did have the advantage of putting more important
attributes at the top, but I don't think it is worth preserving that
when `std::map` is so much easier to work with. The right solution to
leading the reader to the more important attributes is to call them out
in the intro texts.
Copy link
Member

@roberth roberth left a comment

Choose a reason for hiding this comment

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

Impressively modest

@Ericson2314 Ericson2314 added this pull request to the merge queue Nov 12, 2025
Merged via the queue into master with commit 3645671 Nov 12, 2025
20 checks passed
@Ericson2314 Ericson2314 deleted the fetchTree-sort branch November 12, 2025 20:56
@edolstra edolstra mentioned this pull request Dec 9, 2025
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.

3 participants