2f00dfb7f8 · Merge pull request #179 from UoB-HPC/revert-175-mg/julia · Updated 2023-12-04 12:49:13 +00: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?