webstech/gitgitgadget PR Action
This is a GitHub action to process pull request creates, updates and comments with gitgitgadget. It is used as a workflow dispatch action running in a separate repo. The use case is for repos that will not allow complex github actions in the codebase when the github repo is a clone that is used to submit updates to a non-GitHub maintained repo.
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
- Runtime
- Deprecated runtime
Inputs
| name | description | required | default |
|---|---|---|---|
| token | A repo scoped GitHub Personal Access Token. | yes | — |
| reaction-token | An optional GitHub token to use for reactions. | yes | ${{ github.token }} |
| reactions | Add reactions to comments containing commands. | yes | true |
| permission | The repository permission level required by the user to dispatch commands. | yes | write |
| repository-dir | The location of the repository. | yes | — |
| config-repository-dir | The location of the repository with gitgitgadget configuration information. | yes | — |
| configuration-file | The file of configuration information. | yes | — |
| config | JSON configuration for commands. | yes | — |
| config-from-file | JSON configuration from a file for commands. | yes | — |
| repo-owner | Repository owner. | yes | — |
| repo-name | Repository name. | yes | — |
| repo-baseowner | Repository pull target. | yes | — |
| pull-request-number | Pull request number. | yes | — |
| comment-id | Comment id for handling comments. | no | — |
| action | Value of 'push' or 'comment' | yes | — |
| skip-update | Comment id for handling comments. | no | — |
Outputs
| name | description |
|---|---|
| error-message | Validation errors when using `workflow` dispatch. |