tree bbc0917da1ee1aefc04a56848c9a11993f335089
parent 06a5de7111e1b6799b40697881ed9a6b038abb3c
author Vincent Driessen <vincent@datafox.nl> 1278592874 +0200
committer Vincent Driessen <vincent@datafox.nl> 1278592874 +0200

Force deletion of the feature branch after finish.

This fix also works when feature branches are created manually, based on remote
(i.e. other developers) feature branches, to work on features together.

`git branch -d` won't remove local feature branches that are set up to track
remote branches, `-D` will.

Fixes ticket #31.