A Git repository the workshop participiants can't push to directly.