7f25ddfaea · Added tl;dr: to section 1; also added note to abstract · Updated 2023-07-31 12:30:22 +00: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?