diff options
Diffstat (limited to 'community/shards/use-git-bare-instead-of-mirror.patch')
| -rw-r--r-- | community/shards/use-git-bare-instead-of-mirror.patch | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/community/shards/use-git-bare-instead-of-mirror.patch b/community/shards/use-git-bare-instead-of-mirror.patch new file mode 100644 index 0000000000..fef88e5a7e --- /dev/null +++ b/community/shards/use-git-bare-instead-of-mirror.patch @@ -0,0 +1,18 @@ +From 3a64a76b495708a7f3bf7969e85b26817e094cc8 Mon Sep 17 00:00:00 2001 +From: Julien Portalier <julien@portalier.com> +Date: Tue, 12 Dec 2017 10:19:44 +0100 +Subject: [PATCH] Fix: use git --bare instead of --mirror + +Patch-Source: https://github.com/crystal-lang/shards/commit/3a64a76b495708a7f3bf7969e85b26817e094cc8 + +--- a/src/resolvers/git.cr ++++ b/src/resolvers/git.cr +@@ -178,7 +178,7 @@ + + private def clone_repository + Dir.mkdir_p(Shards.cache_path) unless Dir.exists?(Shards.cache_path) +- run "git clone --mirror --quiet -- #{FileUtils.escape git_url} #{dependency.name}", ++ run "git clone --bare --quiet -- #{FileUtils.escape git_url} #{dependency.name}", + path: File.dirname(local_path) + rescue Error + raise Error.new("Failed to clone #{git_url}") |