Skip to content

Commit

Permalink
Merge pull request #339 from amazeeio/hotfix/git-merge-history
Browse files Browse the repository at this point in the history
better debugging, also fetch whole history for a merge
  • Loading branch information
Schnitzel authored Apr 10, 2018
2 parents d9981a6 + 8510ebe commit c98853f
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 1 deletion.
Original file line number Diff line number Diff line change
@@ -1,12 +1,13 @@
#!/bin/bash
set -x

REMOTE=$1
PR_HEAD_SHA=$2
PR_BASE_SHA=$3

git init .
git config remote.origin.url $REMOTE
git fetch --depth=10 --tags --progress $REMOTE +refs/heads/*:refs/remotes/origin/*
git fetch --tags --progress $REMOTE +refs/heads/*:refs/remotes/origin/*

git checkout --force "${3}"
git merge ${2}
1 change: 1 addition & 0 deletions images/oc-build-deploy-dind/scripts/git-checkout-pull.sh
Original file line number Diff line number Diff line change
@@ -1,4 +1,5 @@
#!/bin/bash
set -x

# REF: can be a:
# a sha: a7789dc5e6960bb2250ae39d7e7145b632c44c77
Expand Down

0 comments on commit c98853f

Please sign in to comment.