Skip to content

Commit

Permalink
Merge pull request #315 from jakirkham/drop_extra_checkout
Browse files Browse the repository at this point in the history
Drop extra PR merge ref checkout on CircleCI
  • Loading branch information
jakirkham authored Sep 29, 2016
2 parents 4ddd4fe + 999b1bf commit 8177e92
Showing 1 changed file with 0 additions and 1 deletion.
Original file line number Diff line number Diff line change
Expand Up @@ -23,6 +23,5 @@ fi
# Check for merge conflicts.
if [[ -n "${CIRCLE_PR_NUMBER}" ]]
then
git checkout -qf "pr/${CIRCLE_PR_NUMBER}/merge"
git branch --merged | grep "pr/${CIRCLE_PR_NUMBER}/head" > /dev/null
fi

0 comments on commit 8177e92

Please sign in to comment.