Push mirroring

.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,23 @@
+#!/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
+git config user.email "ginkgo.library@gmail.com"
+git config user.name "Ginkgo Bot"
+
+# Fetch from github
+git fetch fork "$BRANCH_NAME"
+git checkout -b fork/$BRANCH_NAME
+# Push to gitlab
+git push --force --prune gitlab $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,19 @@
+name: Mirroring
+on: push
+
+jobs:
+  to_gitlab:
+    runs-on: ubuntu-latest
+    steps:
+      - name: Checkout
+        uses: actions/checkout@v2
+        with:
+          ref: develop
+          fetch-depth: 0
+          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 }}