Remove origin from branch

This commit is contained in:
adrinr 2023-04-18 10:44:26 +01:00
parent bef3ed7ced
commit 5d24a25dca
1 changed files with 1 additions and 1 deletions

View File

@ -100,7 +100,7 @@ jobs:
git fetch git fetch
echo $(git log -n 5 --pretty=format:%H) echo $(git log -n 5 --pretty=format:%H)
echo $(git branch --contains fa3583ac3eedcb546612e8c696982dda7fae492c) echo $(git branch --contains fa3583ac3eedcb546612e8c696982dda7fae492c)
if ! git branch --contains $(git log -n 1 --pretty=format:%H) | grep -q "origin/chore/pro_as_submodule"; then if ! git branch --contains $(git log -n 1 --pretty=format:%H) | grep -q "chore/pro_as_submodule"; then
echo "Current commit is not part of main branch" echo "Current commit is not part of main branch"
exit 1 exit 1
else else