Flummoxed by IT: How to check if a file is in Git repository