Indexing bug fixed. Now the git repository matches the remote copy of the code.