github: fix gitlab trigger

With the quoting, we are passing an empty variable instead of no argument.
Also, if the skip is required, we are passing "-o ci.skip" instead of
"-o" "ci.skip".

Signed-off-by: Ondřej Budai <ondrej@budai.cz>
This commit is contained in:
Ondřej Budai 2022-02-08 09:22:16 +01:00 committed by Ondřej Budai
parent e8dd3654d5
commit f66740fdbd

View file

@ -62,4 +62,4 @@ jobs:
fi
[[ "${SKIP_CI}" == true ]] && PUSH_OPTION="-o ci.skip" || PUSH_OPTION=""
git push -f ci "${PUSH_OPTION}"
git push -f ${PUSH_OPTION} ci