File tree Expand file tree Collapse file tree 1 file changed +5
-7
lines changed Expand file tree Collapse file tree 1 file changed +5
-7
lines changed Original file line number Diff line number Diff line change 91
91
git remote add $REMOTE_BROWSER_UPSTREAM $REMOTE_URL
92
92
fi
93
93
94
- # Check if we have the $BASE_REVISION commit in GIT
94
+ # If not, fetch from REMOTE_BROWSER_UPSTREAM and check one more time.
95
+ git fetch $REMOTE_BROWSER_UPSTREAM $BASE_BRANCH
95
96
if ! git cat-file -e $BASE_REVISION ^{commit}; then
96
- # If not, fetch from REMOTE_BROWSER_UPSTREAM and check one more time.
97
- git fetch $REMOTE_BROWSER_UPSTREAM $BASE_BRANCH
98
- if ! git cat-file -e $BASE_REVISION ^{commit}; then
99
- echo " ERROR: $FRIENDLY_CHECKOUT_PATH / does not include the BASE_REVISION (@$BASE_REVISION ). Wrong revision number?"
100
- exit 1
101
- fi
97
+ echo " ERROR: $FRIENDLY_CHECKOUT_PATH / does not include the BASE_REVISION (@$BASE_REVISION ). Wrong revision number?"
98
+ exit 1
102
99
fi
100
+
103
101
echo " -- checking $FRIENDLY_CHECKOUT_PATH repo has BASE_REVISION (@$BASE_REVISION ) commit - OK"
104
102
105
103
# Check out the $BASE_REVISION
You can’t perform that action at this time.
0 commit comments