c6f99fff47 · refactor: extract GitksServer / GitksConfig as library, thin main.rs · Updated 2026-06-12 21:36:57 +08: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?