Welcome to github-action-push-to-another-repository’s documentation!
This GitHub Action (github-action-push-to-another-repository) pushes files from one GitHub repository to another. For example, on a git push in a source repository, files can be pushed into a destination repository.
Two of examples of this could be:
Specifying a directory in a source repository to be pushed to a destination repository
Generating some files using another GitHub Action and pushing them into another destination repository (e.g. generating PDFs from MarkDown and pushing the PDFs across to the destination repository)
The GitHub Action code is shorter than the documentation. It needs some setup and initial configuration which is covered in detail, but hopefully it will not take more than a few minutes.
Note
For a quickstart see the setup example.
Table of contents
- Overview
- Configuration
source-directory
destination-github-username
destination-repository-name
user-email
[optional]user-name
[optional]target-branch
[optional]destination-repository-username
[optional]commit-message
[optional]target-directory
[optional]github-server
[optional]create-target-branch-if-needed
[optional]
- Setup
- Example setup
- Sphinx example
- Troubleshooting
- FAQ