981e4833d6 · docs: document hairpin NAT problem and git URL rewrite solution · Updated 2026-05-14 20:17:31 +02: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?