Add origin

This commit is contained in:
adrinr 2023-04-18 11:05:40 +01:00
parent 773ae58d9c
commit df0079f1f5
1 changed files with 1 additions and 1 deletions

View File

@ -98,7 +98,7 @@ jobs:
run: | run: |
cd packages/pro cd packages/pro
git fetch git fetch
if ! git merge-base --is-ancestor $(git log -n 1 --pretty=format:%H) chore/pro_as_submodule; then if ! git merge-base --is-ancestor $(git log -n 1 --pretty=format:%H) origin/chore/pro_as_submodule; then
echo "Current commit has not been merged to develop" echo "Current commit has not been merged to develop"
exit 1 exit 1
else else