chiark / gitweb /
~mdw / stgit / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 982b969) | patch
Add the ability to delete a branch to git.py
authorChuck Lever <cel@netapp.com>
Thu, 6 Oct 2005 10:18:18 +0000 (11:18 +0100)
committerCatalin Marinas <catalin.marinas@gmail.com>
Thu, 6 Oct 2005 10:18:18 +0000 (11:18 +0100)
commit6f48e5f8db212cc241511aa03ed47534580357b2
tree6cd20d0b341b3e9550318887a62546cd63c27be7tree | snapshot
parent982b96972967be0a9cbb5c25c4130e618f6f247ecommit | diff
Add the ability to delete a branch to git.py

"git branch -D" checks first to see whether all the commits in the doomed
branch are already in the branch pointed to by HEAD.  I don't think we need
that level of checking here.  We just delete "refs/heads/branchname."

Signed-off-by: Chuck Lever <cel@netapp.com>
stgit/git.py diff | blob | blame | history
GIT patch-maintenance porcelain (local modifications)