2022-01-20 15:47:19 -07:00
|
|
|
name: Push directory to another repository
|
2021-08-29 16:07:37 -06:00
|
|
|
description: >-
|
|
|
|
Useful to push files to another repository to be used, for example, via github
|
|
|
|
pages
|
2020-03-29 08:44:47 -06:00
|
|
|
inputs:
|
2021-08-29 06:24:21 -06:00
|
|
|
source-before-directory:
|
2021-08-29 16:07:37 -06:00
|
|
|
description: Source before directory from the origin directory
|
2021-08-29 06:24:21 -06:00
|
|
|
required: false
|
2020-03-29 08:44:47 -06:00
|
|
|
source-directory:
|
2021-08-29 16:07:37 -06:00
|
|
|
description: Source directory from the origin directory
|
2020-03-29 08:44:47 -06:00
|
|
|
required: true
|
|
|
|
destination-github-username:
|
2021-08-29 16:07:37 -06:00
|
|
|
description: Name of the destination username/organization
|
2020-03-29 08:44:47 -06:00
|
|
|
required: true
|
|
|
|
destination-repository-name:
|
2021-08-29 16:07:37 -06:00
|
|
|
description: Destination repository
|
2020-03-29 08:44:47 -06:00
|
|
|
required: true
|
2020-03-29 09:20:35 -06:00
|
|
|
user-email:
|
2021-08-29 16:07:37 -06:00
|
|
|
description: Email for the git commit
|
2020-03-29 09:20:35 -06:00
|
|
|
required: true
|
2021-06-24 01:00:26 -06:00
|
|
|
github-server:
|
|
|
|
description: 'Github server'
|
|
|
|
default: 'github.com'
|
2021-10-25 16:31:41 -06:00
|
|
|
required: false
|
2021-04-28 23:06:40 -06:00
|
|
|
user-name:
|
2021-08-29 16:07:37 -06:00
|
|
|
description: >-
|
|
|
|
[Optional] Name for the git commit. Defaults to the destination
|
|
|
|
username/organization name
|
2021-04-28 23:06:40 -06:00
|
|
|
required: false
|
|
|
|
default: ''
|
2020-08-07 14:49:54 -06:00
|
|
|
destination-repository-username:
|
|
|
|
description: '[Optional] Username/organization for the destination repository'
|
|
|
|
required: false
|
2020-11-04 08:02:44 -07:00
|
|
|
default: ''
|
2020-09-23 01:49:12 -06:00
|
|
|
target-branch:
|
2021-08-29 16:07:37 -06:00
|
|
|
description: >-
|
|
|
|
[Optional] set target branch name for the destination repository. Defaults
|
2021-12-14 16:41:43 -07:00
|
|
|
to "main"
|
2021-08-29 16:07:37 -06:00
|
|
|
default: main
|
2020-09-23 01:49:12 -06:00
|
|
|
required: false
|
2020-11-04 09:26:43 -07:00
|
|
|
commit-message:
|
2021-08-29 16:07:37 -06:00
|
|
|
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
|
2020-11-04 09:23:02 -07:00
|
|
|
required: false
|
2021-06-11 23:46:38 -06:00
|
|
|
target-directory:
|
|
|
|
description: '[Optional] The directory to wipe and replace in the target repository'
|
2021-10-25 16:55:36 -06:00
|
|
|
default: ''
|
2021-06-11 23:46:38 -06:00
|
|
|
required: false
|
2021-06-24 00:57:24 -06:00
|
|
|
|
2020-03-29 08:44:47 -06:00
|
|
|
runs:
|
2022-09-15 16:47:23 -06:00
|
|
|
using: composite
|
2022-09-15 16:51:16 -06:00
|
|
|
steps:
|
2022-09-15 17:07:03 -06:00
|
|
|
- run: apt-get update && apt-get install -y openssh-client git
|
2022-09-15 16:54:17 -06:00
|
|
|
shell: sh
|
2022-09-15 16:58:38 -06:00
|
|
|
- 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 }}"
|
2022-09-15 16:47:23 -06:00
|
|
|
shell: sh
|
2020-03-29 13:30:17 -06:00
|
|
|
branding:
|
2021-08-29 16:07:37 -06:00
|
|
|
icon: git-commit
|
|
|
|
color: green
|