edc24af2ba · Fixed mismatched delete call, updated dist target to use xz instead of gzip · Updated 2023-08-29 01:58:53 +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?