github decided to stop making .git optional for read-only checkouts apparently :-/