mirror of
https://github.com/zulip/zulip.git
synced 2025-10-24 00:23:49 +00:00
tools: Add check for uncommitted files to PR review scripts.
This commit is contained in:
@@ -2,6 +2,11 @@
|
|||||||
set -e
|
set -e
|
||||||
set -x
|
set -x
|
||||||
|
|
||||||
|
if ! git diff-index --quiet HEAD; then
|
||||||
|
set +x
|
||||||
|
echo "There are uncommitted files. Exiting."
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
request_id="$1"
|
request_id="$1"
|
||||||
remote=${2:-"upstream"}
|
remote=${2:-"upstream"}
|
||||||
git fetch "$remote" "pull/$request_id/head"
|
git fetch "$remote" "pull/$request_id/head"
|
||||||
|
|||||||
@@ -2,6 +2,11 @@
|
|||||||
set -e
|
set -e
|
||||||
set -x
|
set -x
|
||||||
|
|
||||||
|
if ! git diff-index --quiet HEAD; then
|
||||||
|
set +x
|
||||||
|
echo "There are uncommitted files. Exiting."
|
||||||
|
exit 1
|
||||||
|
fi
|
||||||
request_id="$1"
|
request_id="$1"
|
||||||
remote=${2:-"upstream"}
|
remote=${2:-"upstream"}
|
||||||
git fetch "$remote" "pull/$request_id/head"
|
git fetch "$remote" "pull/$request_id/head"
|
||||||
|
|||||||
Reference in New Issue
Block a user