d65e9a415b · Move Docker stuff to its own directory · Updated 2021-11-07 22:25:04 -07: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?