Category: Tools

Git allows to have separate work tree and repo. This is handy in a number of situations