4 ms·

Maybe the pragmatic way from now on is to clone the repo, even if it's on the local machine.

• rst 5y ago
  Cloning will miss any uncommitted local edits (which you might want to have run "git status" to detect)...