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

Add weasel machine configuration #136

Manually merged
rarias merged 2 commits from weasel into master 2025-07-15 17:27:08 +02:00
Conversation 1 Commits 2 Files Changed 6 +47 -17
rarias commented 2025-07-15 16:35:57 +02:00
Owner
Copy Link

Add configuration for the weasel machine, with sudo access for Toni and Aleix Boné.

Add configuration for the weasel machine, with sudo access for Toni and Aleix Boné.
rarias added 1 commit 2025-07-15 16:35:58 +02:00
Add weasel machine configuration bb104118b4
rarias changed title from WIP: Add weasel machine configuration to Add weasel machine configuration 2025-07-15 16:57:16 +02:00
rarias requested review from arocanon 2025-07-15 16:57:21 +02:00
rarias requested review from abonerib 2025-07-15 16:57:21 +02:00
rarias added 1 commit 2025-07-15 17:18:26 +02:00
Rotate anavarro password and SSH key 3e7d5f8dd4
abonerib approved these changes 2025-07-15 17:22:54 +02:00
rarias force-pushed weasel from 3e7d5f8dd4 to b394c5a8f4 2025-07-15 17:26:35 +02:00 Compare
rarias manually merged commit b394c5a8f4 into master 2025-07-15 17:27:08 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
arocanon
abonerib
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
2 Participants
Notifications
Due Date
No due date set.
Dependencies

No dependencies set.

Reference: rarias/jungle#136
Delete Branch "weasel"

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?