[lmi-commits] [lmi] master 3eec478 1/2: Delete unwanted git branches locally, not only on remote

[Greg Chicares]

branch: master
commit 3eec478f19562dcd3ebc435ddf0a9db2ea4be357
Author: Gregory W. Chicares <address@hidden>
Commit: Gregory W. Chicares <address@hidden>

    Delete unwanted git branches locally, not only on remote
---
 gwc/develop1.txt | 1 +
 1 file changed, 1 insertion(+)

diff --git a/gwc/develop1.txt b/gwc/develop1.txt
index a59e2d1..965db82 100644
--- a/gwc/develop1.txt
+++ b/gwc/develop1.txt
@@ -80,6 +80,7 @@ git commit sandbox_test.cpp
 git checkout master
 git push origin odd/foo
   # (to expunge branch if later cherry-picked)
+git branch --delete odd/foo
 git push origin --delete odd/foo
 
   # ...for failing unit tests that are to be...