Merge pull request #3415 from dscho/release-packs-before-fetching

git pull: release file handles to pack files before fetching

Author: dscho

builtin/pull.c

@@ -1021,6 +1021,7 @@ int cmd_pull(int argc, const char **argv, const char *prefix)
 			oidclr(&rebase_fork_point);
 	}
 
+	close_object_store(the_repository->objects);
 	if (run_fetch(repo, refspecs))
 		return 1;