Skip to content

Add GitRepo::Options type#14795

Merged
xokdvium merged 2 commits intomasterfrom
git-repo-options
Dec 15, 2025
Merged

Add GitRepo::Options type#14795
xokdvium merged 2 commits intomasterfrom
git-repo-options

Conversation

@edolstra
Copy link
Member

Motivation

This replaces the positional bool parameters passed to GitRepo. It also implements the create parameter, which was previously ignored for some reason, requiring an ad hoc existence test elsewhere.

Context


Add 👍 to pull requests you find important.

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

This makes a bunch of bool parameters more explicit.
This was ignored for some reason.
@github-actions github-actions bot added the fetching Networking with the outside (non-Nix) world, input locking label Dec 15, 2025
@xokdvium xokdvium added this pull request to the merge queue Dec 15, 2025
Merged via the queue into master with commit b398c14 Dec 15, 2025
20 checks passed
@xokdvium xokdvium deleted the git-repo-options branch December 15, 2025 18:24
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