diff options
| author | Jakub Jirutka <jakub@jirutka.cz> | 2018-04-02 23:39:28 +0200 |
|---|---|---|
| committer | Jakub Jirutka <jakub@jirutka.cz> | 2018-04-02 23:40:00 +0200 |
| commit | 9ccdb70ea2b02aabb1dc27fd618fd1438fbd7ae2 (patch) | |
| tree | 0392847f61af50dd92ae0249752e4bf84ae44024 /testing/shards/use-git-bare-instead-of-mirror.patch | |
| parent | 63900f59e4fd1c6d98030562281626efabe4c08f (diff) | |
| download | aports-9ccdb70ea2b02aabb1dc27fd618fd1438fbd7ae2.tar.bz2 aports-9ccdb70ea2b02aabb1dc27fd618fd1438fbd7ae2.tar.xz | |
community/shards: move from testing
Diffstat (limited to 'testing/shards/use-git-bare-instead-of-mirror.patch')
| -rw-r--r-- | testing/shards/use-git-bare-instead-of-mirror.patch | 18 |
1 files changed, 0 insertions, 18 deletions
diff --git a/testing/shards/use-git-bare-instead-of-mirror.patch b/testing/shards/use-git-bare-instead-of-mirror.patch deleted file mode 100644 index fef88e5a7e..0000000000 --- a/testing/shards/use-git-bare-instead-of-mirror.patch +++ /dev/null @@ -1,18 +0,0 @@ -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}") |