github-action-push-to-anoth.../action.yml
2022-09-15 23:47:23 +01:00

71 lines
2.5 KiB
YAML

name: Push directory to another repository
description: >-
Useful to push files to another repository to be used, for example, via github
pages
inputs:
source-before-directory:
description: Source before directory from the origin directory
required: false
source-directory:
description: Source directory from the origin directory
required: true
destination-github-username:
description: Name of the destination username/organization
required: true
destination-repository-name:
description: Destination repository
required: true
user-email:
description: Email for the git commit
required: true
github-server:
description: 'Github server'
default: 'github.com'
required: false
user-name:
description: >-
[Optional] Name for the git commit. Defaults to the destination
username/organization name
required: false
default: ''
destination-repository-username:
description: '[Optional] Username/organization for the destination repository'
required: false
default: ''
target-branch:
description: >-
[Optional] set target branch name for the destination repository. Defaults
to "main"
default: main
required: false
commit-message:
description: >-
[Optional] commit message for the output repository. ORIGIN_COMMIT is
replaced by the URL@commit in the origin repo
default: Update from ORIGIN_COMMIT
required: false
target-directory:
description: '[Optional] The directory to wipe and replace in the target repository'
default: ''
required: false
runs:
using: composite
args:
- run: entrypoint.sh ${{ inputs.source-before-directory }} ${{ inputs.source-directory }} ${{ inputs.destination-github-username }} ${{ inputs.destination-repository-name }} ${{ inputs.github-server }} ${{ inputs.user-email }} ${{ inputs.user-name }} ${{ inputs.destination-repository-username }} ${{ inputs.target-branch }} ${{ inputs.commit-message }} ${{ inputs.target-directory }}
shell: sh
- '${{ inputs.source-before-directory }}'
- '${{ inputs.source-directory }}'
- '${{ inputs.destination-github-username }}'
- '${{ inputs.destination-repository-name }}'
- '${{ inputs.github-server }}'
- '${{ inputs.user-email }}'
- '${{ inputs.user-name }}'
- '${{ inputs.destination-repository-username }}'
- '${{ inputs.target-branch }}'
- '${{ inputs.commit-message }}'
- '${{ inputs.target-directory }}'
branding:
icon: git-commit
color: green