Skip to content

Update git-disjoint flake input#4615

Merged
github-actions[bot] merged 1 commit intomasterfrom
update-flake-input-git-disjoint
Feb 20, 2026
Merged

Update git-disjoint flake input#4615
github-actions[bot] merged 1 commit intomasterfrom
update-flake-input-git-disjoint

Conversation

@EricCrosson
Copy link
Owner

Automated changes by the update-flake-lock GitHub Action.

Flake lock file updates:

• Updated input 'git-disjoint':
    'github:ericcrosson/git-disjoint/9557bb2' (2026-02-17)
  → 'github:ericcrosson/git-disjoint/83f3653' (2026-02-20)

Running GitHub Actions on this PR

GitHub Actions will not run workflows on pull requests which are opened by a GitHub Action.

To run GitHub Actions workflows on this PR, close and re-open this pull request.

Flake lock file updates:

• Updated input 'git-disjoint':
    'github:ericcrosson/git-disjoint/9557bb2' (2026-02-17)
  → 'github:ericcrosson/git-disjoint/83f3653' (2026-02-20)
@EricCrosson EricCrosson self-assigned this Feb 20, 2026
@github-actions github-actions bot enabled auto-merge February 20, 2026 08:11
@github-actions github-actions bot merged commit 58eb600 into master Feb 20, 2026
4 checks passed
@github-actions github-actions bot deleted the update-flake-input-git-disjoint branch February 20, 2026 08:13
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants