Dummy repository that is pulled into git-subtree-submodule