3edb5ad123 · Pulled in the missing headers. · 于2014-02-22 19:55:47 +01:00更新
删除分支是永久的。虽然已删除的分支在实际被删除前有可能会短时间存在，但这在大多数情况下无法撤销。是否继续？