On scanning through the "list all records" there were a few other weird results, where there were mulitple listings for a file, one of which had a malformed file name. But the malformed file was not in the gitHub directories. Need to clear it off the search results.
320097.__ (no extension). The file 320097.xml is there and is the correct one.
235566.xml is not in the GitHub directory and can't be deleted, but it is a duplicate of 236566.xml, which should remain.
42210.xml (missing a digit in the filename) is not in the GitHub directory and can't be deleted, but is a duplicate of 422010.xml which should remain.
238590.xml is not in the GItHub directory and cannot be deleted, but it is a duplicate of 238950.xml which should remain.
On scanning through the "list all records" there were a few other weird results, where there were mulitple listings for a file, one of which had a malformed file name. But the malformed file was not in the gitHub directories. Need to clear it off the search results.
320097.__ (no extension). The file 320097.xml is there and is the correct one.
235566.xml is not in the GitHub directory and can't be deleted, but it is a duplicate of 236566.xml, which should remain.
42210.xml (missing a digit in the filename) is not in the GitHub directory and can't be deleted, but is a duplicate of 422010.xml which should remain.
238590.xml is not in the GItHub directory and cannot be deleted, but it is a duplicate of 238950.xml which should remain.