Log branches

This commit is contained in:
adrinr 2023-04-18 11:28:19 +01:00
parent e5411277fd
commit 38a7c96d77
1 changed files with 2 additions and 0 deletions

View File

@ -96,7 +96,9 @@ jobs:
- name: Check submodule
run: |
cd packages/pro
echo $(git branch -r)
git fetch --all
echo $(git branch -r)
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
echo "Current commit has not been merged to develop"