Attempt with fetch

This commit is contained in:
adrinr 2023-04-18 11:00:46 +01:00
parent 9fceb6371d
commit 773ae58d9c
1 changed files with 1 additions and 0 deletions

View File

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