2020-03-29 08:44:47 -06:00
|
|
|
name: 'Push directory to another repository'
|
|
|
|
description: 'Useful to push files to another repository to be used, for example, via github pages'
|
|
|
|
inputs:
|
|
|
|
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
|
2020-03-29 09:20:35 -06:00
|
|
|
user-email:
|
|
|
|
description: 'Email for the git commit'
|
|
|
|
required: true
|
2020-03-29 08:44:47 -06:00
|
|
|
runs:
|
|
|
|
using: 'docker'
|
|
|
|
image: 'Dockerfile'
|
|
|
|
args:
|
|
|
|
- ${{ inputs.source-directory }}
|
|
|
|
- ${{ inputs.destination-github-username }}
|
|
|
|
- ${{ inputs.destination-repository-name }}
|
2020-03-29 09:20:35 -06:00
|
|
|
- ${{ inputs.git-user-email }}
|
2020-03-29 13:30:17 -06:00
|
|
|
branding:
|
|
|
|
icon: 'git-commit'
|
|
|
|
color: 'green'
|