Skip to content

Conversation

@mergify
Copy link
Contributor

@mergify mergify bot commented Mar 4, 2025

Apparently dead code in our use case, but good to keep nonetheless. Credit: ztzg in #12498 (review)

Motivation

Context


Add 👍 to pull requests you find important.

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


This is an automatic backport of pull request #12600 done by [Mergify](https://mergify.com).

Apparently dead code in our use case, but good to keep nonetheless.
Credit: ztzg in #12498 (review)

(cherry picked from commit dcaea8c)
@mergify mergify bot requested a review from edolstra as a code owner March 4, 2025 16:46
@mergify mergify bot added automatic backport This PR is a backport produced by automation (does not trigger backporting) merge-queue labels Mar 4, 2025
@mergify mergify bot merged commit 42fc03d into 2.26-maintenance Mar 4, 2025
27 checks passed
@mergify mergify bot deleted the mergify/bp/2.26-maintenance/pr-12600 branch March 4, 2025 17:08
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

automatic backport This PR is a backport produced by automation (does not trigger backporting) merge-queue

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant