e861c8b3db · * added double-pinging to avoid unnecessary notifications · Updated 2021-06-18 08:57:18 +00:00
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?