Changing the .gitignore in data to ignore everything except the ephemeris data files.  Before I had specified specific directory names, which is ambiguous in the case that someone else wants to include other types of data there, stored under a different directory name.