rarias/jungle
2
0
Fork 3
Code Issues 57 Pull Requests 7 Actions Packages Projects Releases Wiki Activity

Remove old packages #197

Open
abonerib wants to merge 1 commits from abonerib/jungle:remove-old into master
pull from: abonerib/jungle:remove-old
merge into: rarias:master
Conversation 0 Commits 1 Files Changed 33 -2387
abonerib commented 2025-10-10 17:02:33 +02:00
Collaborator
Copy Link

This removes all packages that are not in overlay.nix.

Is there anything we should keep?

This removes all packages that are not in `overlay.nix`. Is there anything we should keep?
abonerib added 1 commit 2025-10-10 17:02:33 +02:00
Remove old packages
All checks were successful
CI / build:cross (pull_request) Successful in 6s
Details
CI / build:all (pull_request) Successful in 15s
Details
9eeebd05bf
abonerib force-pushed remove-old from 9eeebd05bf to 3816c1bcb2 2025-10-10 17:03:07 +02:00 Compare
All checks were successful
CI / build:cross (pull_request) Successful in 6s
Details
CI / build:all (pull_request) Successful in 15s
Details
This pull request can be merged automatically.
This branch is out-of-date with the base branch
You are not authorized to merge this pull request.
View command line instructions

Checkout

From your project repository, check out a new branch and test the changes.
git fetch -u remove-old:abonerib-remove-old
git checkout abonerib-remove-old
Sign in to join this conversation.
Reviewers
No Reviewers
Labels
Clear labels
bug
ceph
ci
config
cross
hw
io
kernel
mpi
net
nix
ops
repair
slurm
No Label
Milestone
No items
No Milestone
Projects
Clear projects
No project
Assignees
Clear assignees
abonerib arocanon varcila rarias
No Assignees
1 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rarias/jungle#197
Delete Branch "abonerib/jungle:remove-old"

Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?