updated with trick to facilitate ignoring files via .git/info/exclude file