fetchGit: Warn about dirty trees

2019-07-12 12:59:00 +02:00
parent 0802e006f2
commit bd62290c23
1 changed files with 2 additions and 0 deletions
@@ -46,6 +46,8 @@ GitInfo exportGit(ref<Store> store, std::string uri,
            /* This is an unclean working tree. So copy all tracked
               files. */

+            warn("Git tree '%s' is dirty", uri);
+
            GitInfo gitInfo;
            gitInfo.ref = "HEAD";