Improved features for git-extract
Improved features for git-prune-branches
Improved features for git-kill
Merge branch 'master' into kg-user-stories-prune-branches