diff options
Diffstat (limited to '.action-forgejo-mirror.sh')
| -rwxr-xr-x | .action-forgejo-mirror.sh | 11 | 
1 files changed, 11 insertions, 0 deletions
diff --git a/.action-forgejo-mirror.sh b/.action-forgejo-mirror.sh new file mode 100755 index 0000000..43b1abf --- /dev/null +++ b/.action-forgejo-mirror.sh @@ -0,0 +1,11 @@ +#!/usr/bin/env bash + +if [ "$GITHUB_REPOSITORY_OWNER" = "crystal" ] ; then +	echo "crystal_pr: skipping mirror!" +	exit 0 +fi +git fetch --tags +git remote add action-forgejo-mirror https://forgejo-deb:$FORGEJO_KEY@$FORGEJO_DEST/$GITHUB_REPOSITORY +git push action-forgejo-mirror --all +git push action-forgejo-mirror --tags "refs/remotes/origin/*:refs/heads/*" +git remote remove action-forgejo-mirror  | 
