f3f88f2414 · Version bumps, tested on linux 6.7.9-200 rustc 1.79.0-nightly (eb45c8444 2024-03-17) · Updated 2024-03-25 03:12:22 +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?