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

Add pmartin1 user with access to fox #128

Manually merged
rarias merged 1 commits from add-pedro into master 2025-07-03 11:18:51 +02:00
Conversation 1 Commits 1 Files Changed 1 +14
rarias commented 2025-07-03 10:49:35 +02:00
Owner
Copy Link
No description provided.
rarias added 1 commit 2025-07-03 10:49:36 +02:00
Add pmartin1 user with access to fox 2862569c12
rarias requested review from abonerib 2025-07-03 10:49:42 +02:00
abonerib approved these changes 2025-07-03 11:04:19 +02:00
rarias force-pushed add-pedro from 2862569c12 to 3d97fada6d 2025-07-03 11:17:53 +02:00 Compare
rarias manually merged commit 3d97fada6d into master 2025-07-03 11:18:51 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
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#128
Delete Branch "add-pedro"

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?