[CI] Remove github deploy stage

.gitlab-ci.yml

@@ -118,42 +118,3 @@ dist:
 ########################################
 ## Deploy stage
 ########################################
-
-github:
-  stage: deploy
-  # no `needs` keyword means this job depends on all jobs from previous stages
-  only:
-    refs:
-      - main
-  dependencies: []
-  before_script:
-    - echo "2048 SHA256:nThbg6kXUpJWGl7E1IGOCspRomTxdCARLviKw6E5SY8 github.com (RSA)" >> ~/.ssh/known_hosts
-    - echo ${SSH_PRIVKEY} | base64 -d > id_iisgit_github
-    - chmod 600 id_iisgit_github
-    - PW_SCRIPT=`pwd`/pw.sh
-    - echo '#!/bin/sh' > ${PW_SCRIPT}
-    - echo 'echo ${SSH_PRIVKEY_PW}' >> ${PW_SCRIPT}
-    - export SSH_PRIVKEY_PW
-    - chmod +x ${PW_SCRIPT}
-    - eval `ssh-agent -s`
-    - DISPLAY=1 SSH_ASKPASS=${PW_SCRIPT} ssh-add id_iisgit_github < /dev/null
-  script:
-    - remote="git@github.com:pulp-platform/llvm-project.git"
-    - remote_branch=main
-    - local_branch=main
-    - if ! git remote | grep -q '^upstream$'; then git remote add upstream ${remote}; fi
-    # remove local branch if exists
-    - git branch -D ${local_branch} || true
-    # Do a deep fetch
-    - git fetch --depth=1000 -n -v origin ${local_branch}
-    - git fetch --depth=1000 -n -v upstream ${remote_branch}
-    # Show some status
-    - git show-ref
-    - git remote -v
-    - git log origin/${local_branch} --pretty=oneline
-    - git log upstream/${remote_branch} --pretty=oneline
-    # Checkout local branch to be pushed
-    - git checkout -b ${local_branch} origin/${local_branch}
-    - git pull origin ${local_branch}
-    # Do actual push to upstream
-    - git push -v upstream ${local_branch}