57c1f017b7 · Update to version 0.12.0~git.1774695060.5a7df03b42: · Updated 2026-03-28 12:32:49 +01: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?