179041b8ac · Update to version 0.5+git.1754102356.a0826e7: · Updated 2025-12-22 17:53:42 +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?