mirror/mirror.sh

11 lines
342 B
Bash
Executable File

#!/bin/bash -e
mkdir -p "$HOME/.ssh"
echo "$INPUT_SSH_PRIV" > "$HOME/.ssh/id_ed25519"
echo "$INPUT_KNOWN_HOSTS" > "$HOME/.ssh/known_hosts"
git remote set-url --push origin "$INPUT_URL"
git fetch --no-tags --prune --no-recurse-submodules --depth=1 origin "$GITHUB_REF_NAME"
git checkout "$GITHUB_REF_NAME"
git push origin "$GITHUB_REF_NAME"