14452ed835 · 01: Demos aus Vorlesung · Updated 2025-09-26 11:26:04 +02:00
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?