summaryrefslogtreecommitdiff
path: root/utils/run-dist.sh
diff options
context:
space:
mode:
authorLaurent Pinchart <laurent.pinchart@ideasonboard.com>2021-10-18 08:42:55 +0300
committerLaurent Pinchart <laurent.pinchart@ideasonboard.com>2021-10-19 13:14:54 +0300
commit40d994778127cc95b0c019017500695e88b4ca44 (patch)
tree97c8781953c14d12231584939b17f3b947f1995a /utils/run-dist.sh
parent78e94065fca63bfc3d00e77928554a440cd493a3 (diff)
utils: hooks: pre-push: Check push to integration/* branches
Branches named integration/* are candidates for merge in the master branch. Subject them to the same checks in the pre-push git hook. An important difference between integration branches and the master branch is that the former are typically created as new branches. We can't check the whole history as there are known bad commits, so we have to identify the base commit for the integration branch. The best approximation is to use the remote master branch for the tree being pushed to. Signed-off-by: Laurent Pinchart <laurent.pinchart@ideasonboard.com> Reviewed-by: Kieran Bingham <kieran.bingham@ideasonboard.com>
Diffstat (limited to 'utils/run-dist.sh')
0 files changed, 0 insertions, 0 deletions