Git Extensions project submodule for Portable-Git repo.