diff options
author | Patrick Georgi <pgeorgi@google.com> | 2017-06-13 15:14:09 +0200 |
---|---|---|
committer | Patrick Georgi <pgeorgi@google.com> | 2017-06-19 18:44:13 +0200 |
commit | 8f8668d87f985c3b3c3321d5b4b80229ef4a262e (patch) | |
tree | 296bf9654ac24355865640a005b53566fe7cb8c0 /util/lint/lint-stable-005-board-status | |
parent | 09634d0328fdaa6a182a9467a9eb6e97ebcb8da9 (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