From 7b7ebd8708885633c926c21a4b71d5d4ce8931cf Mon Sep 17 00:00:00 2001
From: tv <tv@krebsco.de>
Date: Mon, 18 Jan 2021 10:53:59 +0100
Subject: git-preview: remove redundant copy

---
 krebs/5pkgs/simple/git-preview.nix | 17 -----------------
 1 file changed, 17 deletions(-)
 delete mode 100644 krebs/5pkgs/simple/git-preview.nix

diff --git a/krebs/5pkgs/simple/git-preview.nix b/krebs/5pkgs/simple/git-preview.nix
deleted file mode 100644
index d6c9579a..00000000
--- a/krebs/5pkgs/simple/git-preview.nix
+++ /dev/null
@@ -1,17 +0,0 @@
-{ coreutils, git, writeDashBin }:
-
-writeDashBin "git-preview" ''
-  set -efu
-  head_commit=$(${git}/bin/git log -1 --format=%H)
-  merge_commit=$1; shift
-  merge_message='Merge for git-preview'
-  preview_dir=$(${coreutils}/bin/mktemp --tmpdir -d git-preview.XXXXXXXX)
-  preview_branch=$(${coreutils}/bin/basename "$preview_dir")
-  ${git}/bin/git worktree add -b "$preview_branch" "$preview_dir" >/dev/null
-  ${git}/bin/git -C "$preview_dir" checkout "$head_commit"
-  ${git}/bin/git -C "$preview_dir" merge -m "$merge_message" "$merge_commit"
-  ${git}/bin/git -C "$preview_dir" diff "$head_commit.." "$@" &
-  ${git}/bin/git branch -fd "$preview_branch"
-  ${coreutils}/bin/rm -fR "$preview_dir"
-  wait
-''
-- 
cgit v1.2.3