githubmirror/zulip

tools/fetch-pull-request

16 строк351 B

Greg Price

tools: Avoid `readlink -f` in *-pull-request scripts.

01 май 2021, 00:57

01 май 2021, 00:57da8763d

#!/usr/bin/env bash
set -e

this_dir=${BASH_SOURCE[0]%/*}
# shellcheck source=lib/git-tools.bash
. "${this_dir}"/lib/git-tools.bash

require_clean_work_tree 'check out PR as branch'

request_id="$1"
remote=${2:-"upstream"}

set -x
git fetch "$remote" "pull/$request_id/head"
git checkout -B "review-original-${request_id}"
git reset --hard FETCH_HEAD