clone_extra_repos.py fails attempting to import gitdist.
jap@warroom4 MINGW64 ~/projects/tutela
$ TriBITS/tribits/ci_support/clone_extra_repos.py
Traceback (most recent call last):
File "TriBITS/tribits/ci_support/clone_extra_repos.py", line 45, in <module>
import gitdist
File "C:\Users\jap\projects\tutela\TriBITS\tribits\python_utils\gitdist.py", line 1, in <module>
gitdist
NameError: name 'gitdist' is not defined