A custom version of Git Extensions