From eb719eaa54803eb7b4423d0d64b0416462e9ed04 Mon Sep 17 00:00:00 2001
From: Chris Waldon <christopher.waldon.dev@gmail.com>
Date: Mon, 14 Dec 2020 17:39:28 -0500
Subject: [PATCH] ci: configure automatic mirroring to GitHub

Signed-off-by: Chris Waldon <christopher.waldon.dev@gmail.com>
---
 .builds/linux.yml | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/.builds/linux.yml b/.builds/linux.yml
index d6d12666..16b1379d 100644
--- a/.builds/linux.yml
+++ b/.builds/linux.yml
@@ -32,6 +32,9 @@ environment:
  ANDROID_SDK_ROOT: /home/build/android
  android_sdk_tools_zip: sdk-tools-linux-3859397.zip
  android_ndk_zip: android-ndk-r20-linux-x86_64.zip
+ github_mirror: git@github.com:gioui/gio
+secrets:
+ - 75d8a1eb-5fc5-4074-8a36-db6015d6ed5a
 tasks:
  - install_go1_14: |
      mkdir -p /home/build/sdk
@@ -92,3 +95,6 @@ tasks:
             exit 1
         fi
      done
+ - mirror: |
+     # mirror to github
+     ssh-keyscan github.com > "$HOME"/.ssh/known_hosts && cd gio && git push --mirror "$github_mirror" || echo "failed mirroring"