fixup! Fixes git export to support repositories with dots in their name