9bc40569fe · - Update to GCC 14.4, 2c31f611cef5a871194630d0393f55e50ab, git12698 · Updated 2026-06-29 09:19:47 +02:00
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?