f3edc5a6f5 · Add git repo deprecation notice · Updated 9 months ago
Deleting a branch is permanent. It CANNOT be undone. Continue?