From b1319311e6e38ec5cabcc245b6302d45451ee18a Mon Sep 17 00:00:00 2001
From: curben <2809763-curben@users.noreply.gitlab.com>
Date: Tue, 1 Oct 2019 06:45:59 +0100
Subject: [PATCH] feat: mirror to github

---
 .gitlab-ci.yml | 8 +++++++-
 1 file changed, 7 insertions(+), 1 deletion(-)

diff --git a/.gitlab-ci.yml b/.gitlab-ci.yml
index e99768ab..8c459b8a 100644
--- a/.gitlab-ci.yml
+++ b/.gitlab-ci.yml
@@ -17,13 +17,14 @@ deploy_job:
 
     # Import private key with ed25519 workaround
     - echo "$SSH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null
+    - echo "$GH_PRIVATE_KEY" | tr -d '\r' | ssh-add - > /dev/null
 
     # Create the SSH directory and give it the right permissions
     - mkdir -p ~/.ssh
     - chmod 700 ~/.ssh
 
     # Add gitlab.com as ssh known host
-    - ssh-keyscan gitlab.com >> ~/.ssh/known_hosts
+    - echo "$SSH_KNOWN_HOSTS" > ~/.ssh/known_hosts
     - chmod 644 ~/.ssh/known_hosts
 
     # Set commit author
@@ -47,6 +48,11 @@ deploy_job:
     # Push the commit
     - git push
 
+    # Push to mirror
+    - ssh git@github.com
+    - git remote add mirror git@github.com:curbengh/urlhaus-filter.git
+    - git push mirror
+
   after_script:
     # Generate successful status badge
     - mkdir -p /builds/curben/urlhaus-filter/public/