| commit | e761e355f4c29dbad1ddc8022fa393ebbadcd78c | [log] [tgz] |
|---|---|---|
| author | Vincent Driessen <vincent@datafox.nl> | 周四 7月 08 14:41:14 2010 +0200 |
| committer | Vincent Driessen <vincent@datafox.nl> | 周四 7月 08 14:41:14 2010 +0200 |
| tree | bbc0917da1ee1aefc04a56848c9a11993f335089 | |
| parent | 06a5de7111e1b6799b40697881ed9a6b038abb3c [diff] |
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.