diff options
| author | jeschli <jeschli@gmail.com> | 2018-10-31 09:38:45 +0100 |
|---|---|---|
| committer | jeschli <jeschli@gmail.com> | 2018-10-31 09:38:45 +0100 |
| commit | 98449827e26c2c835019eb20ed4d4f3747f4c190 (patch) | |
| tree | e71ef60c6dbae949f5cba35a483d46855d52458f /krebs/5pkgs/simple | |
| parent | a6670e5090dd71aacd7c7605b12d8d3410d25daa (diff) | |
| parent | f130c335de0f902b29bad5da60051d6fa2bdef4e (diff) | |
Merge remote-tracking branch 'origin/master'
Diffstat (limited to 'krebs/5pkgs/simple')
| -rw-r--r-- | krebs/5pkgs/simple/git-preview/default.nix | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/krebs/5pkgs/simple/git-preview/default.nix b/krebs/5pkgs/simple/git-preview/default.nix index 77826f34b..da1525072 100644 --- a/krebs/5pkgs/simple/git-preview/default.nix +++ b/krebs/5pkgs/simple/git-preview/default.nix @@ -9,7 +9,11 @@ writeDashBin "git-preview" '' preview_name=$(${coreutils}/bin/basename "$preview_dir") ${git}/bin/git worktree add --detach -f "$preview_dir" 2>/dev/null ${git}/bin/git -C "$preview_dir" checkout -q "$head_commit" - ${git}/bin/git -C "$preview_dir" merge -qm "$merge_message" "$merge_commit" + ${git}/bin/git -C "$preview_dir" merge \ + ''${GIT_PREVIEW_MERGE_STRATEGY+-s "$GIT_PREVIEW_MERGE_STRATEGY"} \ + -m "$merge_message" \ + -q \ + "$merge_commit" ${git}/bin/git -C "$preview_dir" diff "$head_commit.." "$@" ${coreutils}/bin/rm -fR "$preview_dir" ${coreutils}/bin/rm -R .git/worktrees/"$preview_name" |