#!/bin/bash -e URL="${GITHUB_SERVER_URL/\/\//\/\/$GITHUB_REPOSITORY_OWNER:$INPUT_TOKEN@}/$GITHUB_REPOSITORY" git init -b main git remote add origin "$URL" git fetch --no-tags --prune --no-recurse-submodules --depth=1 origin "$GITHUB_SHA" git checkout --progress --force -B main "$GITHUB_SHA" if [ -n "$INPUT_SUBPATH" ]; then ( shopt -s dotglob git sparse-checkout set "$INPUT_SUBPATH" mv "$INPUT_SUBPATH"/* . rmdir "$INPUT_SUBPATH" ) fi