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

Remove user csiringo #179

Manually merged
abonerib merged 1 commits from abonerib/jungle:remove-csiringo into master 2025-09-29 18:25:23 +02:00
Conversation 1 Commits 1 Files Changed 1 +1 -1
abonerib commented 2025-09-29 17:35:37 +02:00
Collaborator
Copy Link

We will have to remove the home folder manually after

We will have to remove the home folder manually after
abonerib added 1 commit 2025-09-29 17:35:37 +02:00
abonerib force-pushed remove-csiringo from e473a52cd1 to 3ef402bb29 2025-09-29 18:13:08 +02:00 Compare
rarias requested review from rarias 2025-09-29 18:21:49 +02:00
rarias approved these changes 2025-09-29 18:21:59 +02:00
rarias force-pushed remove-csiringo from 3ef402bb29 to a402bc880c 2025-09-29 18:23:53 +02:00 Compare
abonerib manually merged commit a402bc880c into master 2025-09-29 18:25:23 +02:00
Sign in to join this conversation.
Reviewers
No Reviewers
rarias
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#179
No description provided.
Delete Branch "abonerib/jungle:remove-csiringo"

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?