commit bc85b71f04aab337a937e5c294708aae42ff8988
author Patrick Williams <patrick@stwcx.xyz> Mon Dec 05 15:16:27 2022 -0600
committer Patrick Williams <patrick@stwcx.xyz> Mon Dec 05 15:17:59 2022 -0600
tree 830f4ee80c456207acb67864417880a2b088a883
parent 3c2e747b70bfe7ef21f7e5f48dabf215a179382c

format-code: fix for 'git worktree' model

Some developers use `git worktree` to avoid having separate clones
of their source repo.  When working in that model, `.git` is not a
directory but a file with some magic content in it that tells git
how to find the original source repo and branch.  Just check for the
existence of a `.git` (file or directory) rather than requiring it to
explicitly be a directory.

Signed-off-by: Patrick Williams <patrick@stwcx.xyz>
Change-Id: I90d01894cab38493d464da47d1ce32b5da467857