red-internal-development/Push a file to another repository
Used for pushing a copy of a file to another repository
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| source_file | Source file from the origin directory | yes | — |
| destination_repo | Destination repository | yes | — |
| destination_folder | Directory to push the file to | no | — |
| user_email | Email for the git commit | yes | — |
| user_name | GitHub username for the commit | yes | — |
| user_actor | GitHub username that trigged the pipeline | yes | — |
| destination_branch | branch to push file to, defaults to main | no | — |
| destination_branch_create | Destination branch to create for this commit | no | — |
| commit_message | A custom message for the commit | no | — |
| rename | Rename the destination file | no | — |
| use_rsync | Copy files/directories using rsync instead of cp. Experimental feature, please know your use case | no | — |
| git_server | Git server host, default github.com | no | github.com |
| destination_branch_exists | Does the destination_branch already exist in the audi-red-documentation repo | no | false |
Outputs
no outputs