Fix
This commit is contained in:
parent
061ec2eb2d
commit
0972b481fe
|
@ -97,7 +97,7 @@ jobs:
|
|||
run: |
|
||||
cd packages/pro
|
||||
git fetch
|
||||
if ! git branch --contains HEAD | grep -q "origin/develop"; then
|
||||
if ! git branch --contains HEAD | grep -q "develop"; then
|
||||
echo "Current commit is not part of main branch" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
@ -114,7 +114,7 @@ jobs:
|
|||
run: |
|
||||
cd packages/pro
|
||||
git fetch
|
||||
if ! git branch --contains HEAD | grep -q "origin/chore/pro_as_submodule"; then
|
||||
if ! git branch --contains HEAD | grep -q "chore/pro_as_submodule"; then
|
||||
echo "Current commit is not part of main branch" >&2
|
||||
exit 1
|
||||
fi
|
||||
|
|
Loading…
Reference in New Issue