81fd4e7250 · update to 1.0+20201107git.c5e5a8c [release 1.0+20201107git.c5e5a8c-1mamba;Sat Aug 03 2024] · Updated 2024-08-04 12:50:20 +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?