Merge branch 'PR/210'

Closes #210.
This commit is contained in:
Frej Drejhammar
2020-03-08 19:43:23 +01:00

View File

@@ -216,7 +216,7 @@ def export_file_contents(ctx,manifest,files,hgtags,encoding='',plugins={}):
filename=file.decode(encoding).encode('utf8')
else:
filename=file
if b'.git' in filename.split(os.path.sep.encode()):
if b'.git' in filename.split(b'/'): # Even on Windows, the path separator is / here.
stderr_buffer.write(
b'Ignoring file %s which cannot be tracked by git\n' % filename
)