Don't try to import .git directories from special remotes

Because git does not support storing git repositories inside a git
repository.
This commit is contained in:
Joey Hess 2019-06-04 15:14:20 -04:00
parent 500f72ec3d
commit 082e1f1738
No known key found for this signature in database
GPG key ID: DB12DB0FF05F8F38
4 changed files with 32 additions and 1 deletions

View file

@ -19,6 +19,14 @@ The solution is certianly to
1. filter out .git when importing
2. avoid deleting .git when exporting
As long as the export tracking branch did not contain .git,
an export will harm no .git directories, because an exporttree
remote uses removeExportDirectoryWhenEmpty, not removeExportDirectory,
so will not delete non-empty directories. And other than deleting
directories, exporting only deletes files that are removed in the git
diff between two trees; if neither tree contained .git, the diff won't
contain it either, and so if importing skips .git, this will be ok.
--[[Joey]]
> [[fixed|done]] --[[Joey]]