362bf31e25 · Needed to git rm old files, to fix git stuff. · Updated 2019-03-22 10:18:52 +01: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?