Merge Push mirroring

This adds push mirroring for the current branch.

The way it works is simple, add the GitLab remote, the ssh key, pull the branch from Github then force push to gitlab.

Related PR: #1084

.github/abidiff.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 pushd old
 source .github/bot-pr-base.sh

.github/bot-base.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 set -e
 

.github/bot-pr-base.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 source .github/bot-base.sh
 

.github/bot-pr-format-base.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 source .github/bot-pr-base.sh
 

.github/check-format.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 cp .github/bot-pr-format-base.sh /tmp
 source /tmp/bot-pr-format-base.sh

.github/format-rebase.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 source .github/bot-pr-base.sh
 

.github/format.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 cp .github/bot-pr-format-base.sh /tmp
 source /tmp/bot-pr-format-base.sh

.github/label.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 source .github/bot-pr-base.sh
 

.github/mirror.sh

@@ -0,0 +1,22 @@
+#!/usr/bin/env bash
+
+BRANCH_NAME=${BRANCH_NAME##*/}
+
+git remote add fork "git@github.com:${GITHUB_REPO}.git"
+git remote add gitlab "git@gitlab.com:ginkgo-project/ginkgo-public-ci.git"
+
+git remote -v
+
+# Setup ssh
+eval $(ssh-agent -s)
+echo "${BOT_KEY}" | tr -d '\r' | ssh-add - >/dev/null
+mkdir -p ~/.ssh
+chmod 700 ~/.ssh
+ssh-keyscan -t rsa gitlab.com github.com >>~/.ssh/known_hosts
+
+# Fetch from github
+git fetch fork "$BRANCH_NAME"
+git checkout -B "$BRANCH_NAME"
+git reset --hard fork/"$BRANCH_NAME"
+# Push to gitlab
+git push -u --force gitlab HEAD:$BRANCH_NAME

.github/rebase.sh

@@ -1,4 +1,4 @@
-#!/bin/bash
+#!/usr/bin/env bash
 
 source .github/bot-pr-base.sh
 

.github/workflows/mirror.yml

@@ -0,0 +1,18 @@
+name: Mirroring
+on: push
+
+jobs:
+  to_gitlab:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+        with:
+          ref: develop
+          persist-credentials: false
+      - name: Push to Gitlab
+        run: cp --preserve .github/mirror.sh /tmp && /tmp/mirror.sh
+        env:
+          BOT_KEY: ${{ secrets.GITLAB_MIRROR_PRIV_KEY }}
+          BRANCH_NAME: ${{ github.ref }}
+          GITHUB_REPO: ${{ github.repository }}