Fetch origin

This commit is contained in:
adrinr 2023-04-18 11:57:12 +01:00
parent 767f9ae792
commit 2e1231b6e7
1 changed files with 1 additions and 5 deletions

View File

@ -97,12 +97,8 @@ jobs:
run: |
cd packages/pro
echo $(git ls-remote --heads)
git fetch --all
git fetch origin
echo $(git branch -r)
echo $(git ls-remote --heads)
echo $(git log -n 1 --pretty=format:%H)
echo $(git log -n 1 origin/chore/pro_as_submodule)
echo $(git log -n 1 chore/pro_as_submodule)
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"
exit 1