···

       
37
       
37
       
 
       
    # This ensures that only pushes to the default branch will trigger

     

       
38
       
38
       
 
       
    # a pages deploy

     

       
39
       
39
       
 
       
    - if: $CI_COMMIT_REF_NAME == $CI_DEFAULT_BRANCH

     

       
40
       
40
       
-
       


     

       
41
       
41
       
-
       
# TODO: Automate this over at mirrors/cronjobs soon.

     

       
42
       
42
       
-
       
sync-repo:

     

       
43
       
43
       
-
       
  stage: build

     

       
44
       
44
       
-
       
  allow_failure: true

     

       
45
       
45
       
-
       
  variables:

     

       
46
       
46
       
-
       
    GIT_SSH_COMMAND: "ssh -o UserKnownHostsFile=/dev/null -o StrictHostKeyChecking=no"

     

       
47
       
47
       
-
       
  script:

     

       
48
       
48
       
-
       
    - |

     

       
49
       
49
       
-
       
      set -x

     

       
50
       
50
       
-
       
      eval $(ssh-agent)

     

       
51
       
51
       
-
       
      chmod 600 $PWD/.secretskit/passwordless && ssh-add $PWD/.secretskit/passwordless

     

       
52
       
52
       
-
       
      git push "git@github.com:ajhalili2006/website" --mirror || true

     

       
53
       
53
       
-
       
      git push "git@git.sr.ht:~ajhalili2006/web" --mirror || true

     

       
54
       
54
       
-
       
      git push "git@codeberg.org:ajhalili2006/website" --mirror || true