From: Maxime Ripard <[email protected]> Following the recent discussion and the fact that commits can be part of a pull request without the PR sender being notified (but only the recipient), let's make sure both ends are notified if there's such commits.
Signed-off-by: Maxime Ripard <[email protected]> --- dim | 1 + 1 file changed, 1 insertion(+) diff --git a/dim b/dim index 4efeed63d374..2ae4c3937932 100755 --- a/dim +++ b/dim @@ -2075,6 +2075,7 @@ function dim_pull_request repo="drm-intel" else + checkpatch_commit_push_range 1 "$upstream..$branch" tag=$(tag_name "$branch") gitk --first-parent "$branch" ^$upstream & tag_branch $tag $branch -- 2.21.0 _______________________________________________ dim-tools mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
