diff options
| author | Julien Dessaux | 2022-09-08 19:59:40 +0200 |
|---|---|---|
| committer | Julien Dessaux | 2022-09-08 19:59:40 +0200 |
| commit | d49bcbec73654fa6018274e9daf1314375b08363 (patch) | |
| tree | b0a6bd3617f53485a7df7f3cb72b744eeed19ec7 /mirror-to-github/mirror-to-github.sh | |
| parent | Moved away from job parameters to command arguments (diff) | |
| download | ev-scripts-d49bcbec73654fa6018274e9daf1314375b08363.tar.gz ev-scripts-d49bcbec73654fa6018274e9daf1314375b08363.tar.bz2 ev-scripts-d49bcbec73654fa6018274e9daf1314375b08363.zip | |
Added mirror to github script and job
Diffstat (limited to '')
| -rw-r--r-- | mirror-to-github/mirror-to-github.sh | 17 |
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) |