Remove logs
This commit is contained in:
parent
f3effc4b9b
commit
86efe11dd8
|
@ -101,11 +101,8 @@ jobs:
|
|||
echo $(git branch -r)
|
||||
echo $(git ls-remote --heads)
|
||||
echo $(git log -n 1 --pretty=format:%H)
|
||||
echo git log -n 1 refs/heads/chore/pro_as_submodule
|
||||
echo $(git log -n 1 refs/heads/chore/pro_as_submodule)
|
||||
echo git log -n 1 origin/chore/pro_as_submodule
|
||||
echo $(git log -n 1 origin/chore/pro_as_submodule)
|
||||
echo git log -n 1 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) refs/heads/chore/pro_as_submodule; then
|
||||
echo "Current commit has not been merged to develop"
|
||||
|
|
Loading…
Reference in New Issue