mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 05:23:35 +00:00
24e2690ec2
Minor fixes that enable the ability to: - Re-run fetch-rebase-pull-request. - Specify the name of the remote repo as an optional second parameter. The default remains 'upstream'.
9 lines
139 B
Bash
Executable File
9 lines
139 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
set -x
|
|
|
|
request_id="$1"
|
|
remote=${2:-"upstream"}
|
|
git fetch "$remote" "pull/$request_id/head"
|
|
git reset --hard FETCH_HEAD
|