what does 'git bare repo' mean in this context - is it supposed to just be 'git repo'?