connorjbracy/Mirror private repo changes in the dual public repo
Used to duplicate a single repo between an internal (private) instance and a public facing instance.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| github_secret_pat | The GitHub Personal Access Token (PAT) with necessary permissions to publish a commit in the public repository | yes | — |
| private_subdir | The directory (relative to "GITHUB_WORKSPACE") where the private repo lives within the GH Actions runner. Default: "." (i.e., the GITHUB_WORKSPACE directory) | no | . |
| public_repo | The full name of the repo that is used as the public facing instance of the pair. Default: The name of the private repo, with a presumed "_private" truncated from the end. | no | — |
| user_name | GitHub username for the commit. Default: <github.actor> | no | ${{ github.actor }} |
| user_email | Email for the git commit. Default: <github.actor>@users.noreply.github.com | no | ${{ github.actor }}@users.noreply.github.com |
| working_branch_name | The name of the target branch in the public repo. TODO: Resolve following possabilities - Target branch does NOT exist - Target branch DOES exist -- Target branch is a simple BRANCH --- Target PR IS owned by source PR author --- Target PR is NOT owned by source PR author -- Target branch is a PULL REQUEST --- Target branch IS owned by source PR author --- Target branch is NOT owned by source PR author Default: <github.head_ref> | no | ${{ github.head_ref }} |
| commit_message | A custom message for the commit. Default: <github.event.head_commit.message> | no | ${{ github.event.head_commit.message }} |
| pseudo_gitignore_filename | The conventioned used to name your files that store the list of files that should be in the .gitignore of the public repo, but which you want to track in your private repo. (i.e., they themselves are not .gitignore files, but will be aggregated to create one only for the public commits). Default: "public.gitignore" | no | public.gitignore |
| git_server | Git server host. Default: github.com | no | github.com |
Outputs
no outputs