Skip to content

Two cleanups nix develop#14530

Merged
Ericson2314 merged 2 commits intomasterfrom
nix-develop-cleanups-0
Nov 10, 2025
Merged

Two cleanups nix develop#14530
Ericson2314 merged 2 commits intomasterfrom
nix-develop-cleanups-0

Conversation

@Ericson2314
Copy link
Member

Motivation

Context


Add 👍 to pull requests you find important.

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

@github-actions github-actions bot added the new-cli Relating to the "nix" command label Nov 10, 2025
@Ericson2314
Copy link
Member Author

Taking from #13947, since these parts are is entirely uncontroversial, but @Mic92 had a question on the 3rd commit.

@Ericson2314 Ericson2314 force-pushed the nix-develop-cleanups-0 branch from a343452 to d1f750a Compare November 10, 2025 21:42
@Ericson2314 Ericson2314 added this pull request to the merge queue Nov 10, 2025
Merged via the queue into master with commit d00c419 Nov 10, 2025
20 checks passed
@Ericson2314 Ericson2314 deleted the nix-develop-cleanups-0 branch November 10, 2025 23:03
@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

new-cli Relating to the "nix" command

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants