Skip to content

Registry: Drop settings field#14594

Merged
edolstra merged 1 commit intomasterfrom
registry-drop-settings
Nov 19, 2025
Merged

Registry: Drop settings field#14594
edolstra merged 1 commit intomasterfrom
registry-drop-settings

Conversation

@edolstra
Copy link
Member

Motivation

It's not used anywhere.

Context


Add 👍 to pull requests you find important.

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

It's not used anywhere.
@github-actions github-actions bot added the fetching Networking with the outside (non-Nix) world, input locking label Nov 19, 2025
@edolstra edolstra enabled auto-merge November 19, 2025 10:53
@edolstra edolstra added this pull request to the merge queue Nov 19, 2025
Merged via the queue into master with commit 72dbd43 Nov 19, 2025
20 checks passed
@edolstra edolstra deleted the registry-drop-settings branch November 19, 2025 16:40
@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

fetching Networking with the outside (non-Nix) world, input locking

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants