This could be a parsing error of the pull (for all the people who
don't use a script like dim pull-request to make sure all the silly
details are right), or some confusion on the part of the sender, or
something else.
Either way not good to continue.
Cc: Dave Airlie <airl...@gmail.com>
Signed-off-by: Daniel Vetter <daniel.vet...@intel.com>
---
dim | 4 ++++
1 file changed, 4 insertions(+)
diff --git a/dim b/dim
index 9ec43df08c4a..65f793a19380 100755
--- a/dim
+++ b/dim
@@ -939,6 +939,10 @@ function dim_apply_pull
echo Pulling $pull_branch ...
git fetch $pull_branch
+ if [[ $(git rev-list HEAD..FETCH_HEAD | wc -l) -eq 0 ]] ; then
+ warn_or_fail "Nothing in the pull request"
+ fi
+
checkpatch_commit_push_range "HEAD..FETCH_HEAD"
if ! $DRY git pull $pull_branch ; then
--
2.17.0
_______________________________________________
dim-tools mailing list
dim-tools@lists.freedesktop.org
https://lists.freedesktop.org/mailman/listinfo/dim-tools
