7b7d32b819 · Merge pull request #1128 from MichaelHinrichs/patch-1 · Updated 5 months ago
Deleting a branch is permanent. It CANNOT be undone. Continue?