mirror of
https://github.com/zulip/zulip.git
synced 2025-11-03 21:43:21 +00:00
0462e85d02
The appropriate name for the remote pointing at the repo we maintain may be `upstream` for most of our repos... but not when we're downstream of someone else, e.g. for react-native. So, make it easy to configure per-repo.
20 lines
396 B
Bash
Executable File
20 lines
396 B
Bash
Executable File
#!/bin/bash
|
|
set -e
|
|
|
|
if ! git diff-index --quiet HEAD; then
|
|
set +x
|
|
echo "There are uncommitted changes:"
|
|
git status --short
|
|
echo "Doing nothing to avoid losing your work."
|
|
exit 1
|
|
fi
|
|
|
|
remote_default="$(git config zulip.zulipRemote || echo upstream)"
|
|
|
|
request_id="$1"
|
|
remote=${2:-"$remote_default"}
|
|
|
|
set -x
|
|
git fetch "$remote" "pull/$request_id/head"
|
|
git reset --hard FETCH_HEAD
|