Unable to clone repo on Windows due to filenames with invalid (on Windows) characters

[briansmith]

git clone https://github.com/GaloisInc/hacrypto/

Result:

error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/mod_ssl/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/mod_ssl/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/mod_ssl/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/mod_ssl/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/mod_ssl/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/mod_ssl/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/mod_ssl/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/mod_ssl/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssh/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssh/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssh/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssh/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssh/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssh/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssh/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssh/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssl/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssl/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssl/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssl/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssl/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssl/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssl/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/export/openssl/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/ios/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/ios/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/ios/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/ios/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/ios/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/ios/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/ios/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/ios/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/osx/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/osx/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/osx/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/osx/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/osx/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/osx/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/osx/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/1.2/platforms/osx/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/archive/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/archive/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/archive/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/archive/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/archive/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/archive/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/archive/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/archive/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/android/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/ios/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/ios/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/ios/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/ios/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/ios/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/ios/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/ios/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/ios/index.html?C=S;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/linux-native/index.html?C=D;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/linux-native/index.html?C=D;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/linux-native/index.html?C=M;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/linux-native/index.html?C=M;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/linux-native/index.html?C=N;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/linux-native/index.html?C=N;O=D'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/linux-native/index.html?C=S;O=A'
error: Invalid path 'resources/FIPS/OpenSSL/openssl.com/fips/2.0/platforms/linux-native/index.html?C=S;O=D'

The resultant local repo is unusable because all these files are marked in the index as deleted. Thus, any commit would delete them.