diff options
author | Bjorn Andersson <bjorn.andersson@linaro.org> | 2018-07-18 16:18:52 +0530 |
---|---|---|
committer | Daniel Lezcano <daniel.lezcano@linaro.org> | 2018-08-29 12:06:12 +0200 |
commit | 4405a9c7a077de3aa567642f2c4c556f1492277f (patch) | |
tree | c9a5a534549c1993889cfde5b9b420d1e62f06b5 | |
parent | d4a214dc6bc866744157ee39ae8011e78b803ccc (diff) |
ci-merge: Allow local overrides
Add support for local overrides in order to be able to rebase branches
and iteratively try to build up and test the merged branch. Each remote
being merged in can be overridden by a local branch named
"override/<remote>"
This makes it possible to create a bunch of local override branches,
prepare the rr-cache, build, boot test and then push all pieces at once.
Signed-off-by: Bjorn Andersson <bjorn.andersson@linaro.org>
Signed-off-by: Amit Kucheria <amit.kucheria@linaro.org>
Signed-off-by: Daniel Lezcano <daniel.lezcano@linaro.org>
-rwxr-xr-x | ci-merge | 11 |
1 files changed, 9 insertions, 2 deletions
@@ -620,9 +620,16 @@ while read LINE; do continue fi - echo "Merging $REMOTE_NAME/$REMOTE_BRANCH" + git rev-parse --quiet --verify "override/$REMOTE_NAME" + if [ $? -eq 0 ]; then + MERGER="override/$REMOTE_NAME" + else + MERGER="$REMOTE_NAME/$REMOTE_BRANCH" + fi + + echo "Merging $MERGER" - git merge -q --no-ff --no-edit $REMOTE_NAME/$REMOTE_BRANCH + git merge -q --no-ff --no-edit $MERGER if [ $? -ne 0 ]; then if [ -z $DISPLAY ]; then # try to commit, may be resolved by rerere |