Git filter-repo produces a commit-map file that does not have a file
extension. This prevents it from being uploaded without renaming the
file. Removes file type validation to permit upload.