1c2a5a1586 · dev: merge branch 'master' of github.com:doomemacs · Updated 2024-09-17 13:04:38 -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?