10 lines
254 B
Bash
10 lines
254 B
Bash
|
#!/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 checkout "$GITHUB_REF_NAME"
|
||
|
|
git push origin "$GITHUB_REF_NAME"
|