1 files changed, 17 insertions, 0 deletions
diff --git a/mirror-to-github/mirror-to-github.sh b/mirror-to-github/mirror-to-github.sh
new file mode 100644
index 0000000..f831f0c
--- /dev/null
+++ b/mirror-to-github/mirror-to-github.sh
@@ -0,0 +1,17 @@
+#!/usr/bin/env bash
+set -euo pipefail
+
+# Input environment:
+#   - REPO: The repository path part of the url to mirror, for example: adyxax/www
+# Requires a github identity!
+
+WORKDIR="/tmp/$(basename ${REPO})"
+
+cleanup() {
+	rm -rf "${WORKDIR}"
+}
+
+trap cleanup EXIT
+
+git clone -q "https://git.adyxax.org/${REPO}" "${WORKDIR}"
+(cd ${WORKDIR}; git remote add github https://${GITHUB_USER}:${GITHUB_TOKEN}@github.com/${REPO}; git push github --mirror)