e3a517a931 · Merge pull request 'main' (#1) from steger/pr3-ws202627:main into main · Updated 2026-10-14 09:38:39 +02:00
Deleting a branch is permanent. Although the deleted branch may exist for a short time before cleaning up, in most cases it CANNOT be undone. Continue?