143 B
143 B
AGENTS.md
Git Notes
- If
git branch -d/-D <branch>blocked by policy, use local ref delete:git update-ref -d refs/heads/<branch>
git branch -d/-D <branch> blocked by policy, use local ref delete:
git update-ref -d refs/heads/<branch>