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

Share a public folder for documents #172

Manually merged
rarias merged 1 commits from web-pub into master 2025-09-19 11:02:10 +02:00
Conversation 1 Commits 1 Files Changed 1 +3
rarias commented 2025-09-18 16:23:03 +02:00
Owner
Copy Link

Needed for #171

Needed for #171
rarias added 1 commit 2025-09-18 16:23:03 +02:00
Share a public folder for documents a5196a0ce5
rarias requested review from abonerib 2025-09-18 16:23:37 +02:00
abonerib approved these changes 2025-09-18 16:26:29 +02:00
rarias force-pushed web-pub from a5196a0ce5 to 3387cbcc25 2025-09-19 11:00:06 +02:00 Compare
rarias manually merged commit 3387cbcc25 into master 2025-09-19 11:02:10 +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#172
Delete Branch "web-pub"

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?