1
0
Fork 0
mirror of synced 2024-09-29 16:51:33 +13:00

Working! Branch pointing to develop

This commit is contained in:
adrinr 2023-04-18 11:07:20 +01:00
parent df0079f1f5
commit e89a4a366d

View file

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