git_export_utils.py
7 KB
-
Merge pull request #5115 from mitocw/cg/bugfix/add_git_clean · b58b6882
Fixes git export to support repositories with dots in their name and cleans export repo
Sarina Canelake committed
Fixes git export to support repositories with dots in their name and cleans export repo