python/spot/aux.py illegal file name
The file name aux.* is illegal on windows filesystems. This causes a clone on windows to fail on this file : python/spot/aux.py
https://www.howtogeek.com/fyi/windows-10-still-wont-let-you-use-these-file-names-reserved-in-1974/
can we rename the file ? I'm not familiar enough with python to suggest how it should be done.
see also https://stackoverflow.com/questions/7328239/is-there-any-way-to-clone-a-git-repository-without-a-specific-directory which has pretty uncomfortable workarounds (cygwin)