Try remote update

This commit is contained in:
adrinr 2023-04-18 12:03:34 +01:00
parent eb2d3c8c29
commit cedadb6c00
1 changed files with 1 additions and 0 deletions

View File

@ -97,6 +97,7 @@ jobs:
run: | run: |
cd packages/pro cd packages/pro
echo $(git ls-remote --heads) echo $(git ls-remote --heads)
git remote update
git fetch --depth=10000 git fetch --depth=10000
echo $(git branch -r) echo $(git branch -r)
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/chore/pro_as_submodule; then