dd25f6da65 · Add a gitignore to the package checker. · Updated 2018-07-12 21:05:12 -04: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?