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 steps: - run: $GITHUB_ACTION_PATH/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 branding: icon: git-commit color: green