4789b0373c · graceful teardown, now with 150% more grace · Updated 2015-02-10 22:52:45 +01: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?