From 01b9d6d50f6279ebefb00eb917dcc97165d63f92 Mon Sep 17 00:00:00 2001
From: anaarmas <54946499+anaarmas@users.noreply.github.com>
Date: Mon, 27 Apr 2020 21:57:24 +0200
Subject: [PATCH] remove mirror workflow

---
 .github/workflows/mirror.yml | 32 --------------------------------
 1 file changed, 32 deletions(-)
 delete mode 100644 .github/workflows/mirror.yml

diff --git a/.github/workflows/mirror.yml b/.github/workflows/mirror.yml
deleted file mode 100644
index 7cbbcef2f..000000000
--- a/.github/workflows/mirror.yml
+++ /dev/null
@@ -1,32 +0,0 @@
-# Mirror changes to this repo to Anthophila/codeql-action
-# whenever a PR is merged into master.
-name: "Mirror to Anthophila/codeql-action"
-
-# TODO change to trigger when master branch pushed/PR-merged
-on:
-  push:
-    branches:
-      - master
-
-jobs:
-  mirror:
-
-    runs-on: ubuntu-latest
-
-    steps:
-    - uses: actions/checkout@v1
-    - name: Mirror
-      run: |
-        # Only run if running on private repo
-        if [ "${{ github.event.repository.full_name }}" == "github/codeql-action" ]; then
-          # setup deploy key
-          mkdir -p ~/.ssh
-          echo "${{ secrets.DEPLOY_KEY }}" > ~/.ssh/id_rsa
-          chmod 600 ~/.ssh/id_rsa
-          # add public repo as remote and push to it
-          git checkout master
-          git remote add public git@github.com:Anthophila/codeql-action.git
-          git push public master
-        else
-          echo "This workflow should only run on github/codeql-action"
-        fi