Skip to content

dev-shell: Drop bear dependency#13207

Merged
Ericson2314 merged 1 commit intoNixOS:masterfrom
xokdvium:drop-bear
May 15, 2025
Merged

dev-shell: Drop bear dependency#13207
Ericson2314 merged 1 commit intoNixOS:masterfrom
xokdvium:drop-bear

Conversation

@xokdvium
Copy link
Contributor

Motivation

Since the autotools-based build system has been removed and meson already generates compile database there's no need to have it in the devshell.

Context


Add 👍 to pull requests you find important.

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

Since the autotools-based build system has been removed
and meson already generates compile database there's no
need to have it in the devshell.
@xokdvium xokdvium requested a review from edolstra as a code owner May 15, 2025 21:14
@Ericson2314 Ericson2314 added backport 2.27-maintenance backport 2.28-maintenance Automatically creates a PR against the branch backport 2.29-maintenance Automatically creates a PR against the branch labels May 15, 2025
@Ericson2314 Ericson2314 enabled auto-merge May 15, 2025 21:18
@Ericson2314 Ericson2314 merged commit dc1a513 into NixOS:master May 15, 2025
12 checks passed
mergify bot added a commit that referenced this pull request May 15, 2025
…3207

dev-shell: Drop bear dependency (backport #13207)
mergify bot added a commit that referenced this pull request May 15, 2025
…3207

dev-shell: Drop bear dependency (backport #13207)
mergify bot added a commit that referenced this pull request May 15, 2025
…3207

dev-shell: Drop bear dependency (backport #13207)
@xokdvium xokdvium deleted the drop-bear branch May 15, 2025 23:17
@roberth roberth added the backports created Does not require attention and can be filtered away label Jul 30, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

backport 2.28-maintenance Automatically creates a PR against the branch backport 2.29-maintenance Automatically creates a PR against the branch backports created Does not require attention and can be filtered away

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants