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 <[email protected]> Signed-off-by: Daniel Vetter <[email protected]> --- 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 [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
