Git Extensions vs git-workspace | What are the differences? | StackShare