1
0
Fork 0
mirror of synced 2024-09-30 00:57:16 +13:00
This commit is contained in:
adrinr 2023-04-18 11:32:02 +01:00
parent 38a7c96d77
commit 291908dde0

View file

@ -96,11 +96,12 @@ jobs:
- name: Check submodule - name: Check submodule
run: | run: |
cd packages/pro cd packages/pro
echo $(git branch -r) echo $(git ls-remote --heads)
git fetch --all git fetch --all
echo $(git branch -r) echo $(git branch -r)
echo $(git ls-remote --heads)
echo $(git log -n 1 --pretty=format:%H) echo $(git log -n 1 --pretty=format:%H)
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) refs/heads/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