e5baa98b43 · ci: 👷 lint code to MediaWiki standards · 最后更新于 2024-05-11 18:23:37 +08:00
删除分支是永久的。虽然已删除的分支在实际被删除前有可能会短时间存在，但这在大多数情况下无法撤销。是否继续？