summaryrefslogtreecommitdiff
path: root/dim
diff options
context:
space:
mode:
Diffstat (limited to 'dim')
-rwxr-xr-xdim4
1 files changed, 4 insertions, 0 deletions
diff --git a/dim b/dim
index 29801b910481..09e9e91e9eb2 100755
--- a/dim
+++ b/dim
@@ -939,6 +939,10 @@ function dim_apply_pull
echo Pulling $pull_branch ...
git fetch $pull_branch
+ if [[ -z "$(git rev-list HEAD..FETCH_HEAD)" ]] ; then
+ warn_or_fail "Nothing in the pull request"
+ fi
+
checkpatch_commit_push_range "HEAD..FETCH_HEAD"
if ! $DRY git pull $pull_branch ; then