A GitExtensions plugin for git-tfs