a git workspace repository