Turns out .git can be a regular file

If .git is a regular file, it contains a filename where the real git
repository data lives.

AFAIU this is to support something symlink-like on inferior platforms
*cough*Windows*cough*.
Show git repositories that need to be pushed