Files
zulip/tools/reset-to-pull-request
2016-08-24 14:23:37 -07:00

8 lines
112 B
Bash
Executable File

#!/bin/sh
set -e
set -x
request_id="$1"
git fetch upstream "pull/$request_id/head"
git reset --hard FETCH_HEAD