bare repository

Also written: --bare, bare repo

A repository that holds only the history, with no working files to edit. GitHub keeps one, and `shop.git` stands in for it in the practice team.