jerry73204 merged NEWSLabNTU/nano-ros#3881 · November 14, 2026 14:49 fix(issue 2583): the pre-push hook lets a branch deletion through #3881 Fixes issue 2583: our pre-push hook refused a branch deletion.$ git push origin --delete release/nros9submodule-pins: FAILED — could not read the… +182 -3