do not use GIT_REPOSITORY for contrib/