Remove ci.skip option from mirror workflow

We need a pipeline on GitLab for the push to build the image used by all other pipeline jobs

Signed-off-by: Niklas van Schrick <mc.taucher2003@gmail.com>

Author: Taucher2003

.github/workflows/mirror.yml

@@ -15,5 +15,4 @@ jobs:
           git
           -c credential.helper='!f() { sleep 1; echo "username=${{ secrets.GL_API_USER }}"; echo "password=${{ secrets.GL_API_TOKEN }}"; }; f'
           push
-          -o ci.skip
           gitlab HEAD:main