summaryrefslogtreecommitdiff
path: root/util/lint/lint-stable-005-board-status
diff options
context:
space:
mode:
authorPatrick Georgi <pgeorgi@google.com>2017-06-13 15:14:09 +0200
committerPatrick Georgi <pgeorgi@google.com>2017-06-19 18:44:13 +0200
commit8f8668d87f985c3b3c3321d5b4b80229ef4a262e (patch)
tree296bf9654ac24355865640a005b53566fe7cb8c0 /util/lint/lint-stable-005-board-status
parent09634d0328fdaa6a182a9467a9eb6e97ebcb8da9 (diff)
util/scripts/gerrit-rebase: allow skipping old history
This might provide a minor speedup but more importantly it allows skipping commits without Reviewed-on line (which we have a couple of due to mistakes with git push). To use, add a line starting with "Gerrit-Rebase-Ignore-CLs-Before:" pointing out a match string (ie "something that comes after Reviewed-on") prior to which no changes are considered on the originating branch. The target branch is still fully considered to avoid issues with changes that were retargetted out of order around the new cut and would then make a reappearance (or be skipped). Change-Id: I9f2679891e93f6d28a781315aebd2aa60a1e3b23 Signed-off-by: Patrick Georgi <pgeorgi@google.com> Reviewed-on: https://review.coreboot.org/20185 Tested-by: build bot (Jenkins) <no-reply@coreboot.org> Reviewed-by: Martin Roth <martinroth@google.com>
Diffstat (limited to 'util/lint/lint-stable-005-board-status')
0 files changed, 0 insertions, 0 deletions