aboutsummaryrefslogtreecommitdiff
diff options
context:
space:
mode:
authorBjorn Andersson <bjorn.andersson@linaro.org>2018-07-18 16:18:52 +0530
committerDaniel Lezcano <daniel.lezcano@linaro.org>2018-08-29 12:06:12 +0200
commit4405a9c7a077de3aa567642f2c4c556f1492277f (patch)
treec9a5a534549c1993889cfde5b9b420d1e62f06b5
parentd4a214dc6bc866744157ee39ae8011e78b803ccc (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-xci-merge11
1 files changed, 9 insertions, 2 deletions
diff --git a/ci-merge b/ci-merge
index 28f0ff8..05516d7 100755
--- a/ci-merge
+++ b/ci-merge
@@ -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