etiennemartin/Hello World
Greet someone and record the time
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
- Runtime
- Deprecated runtime
Inputs
| name | description | required | default |
|---|---|---|---|
| token | Token for the repository. Can be passed in using `{{ secrets.GITHUB_TOKEN }}`. | no | ${{ github.token }} |
| expiry | The number of days before a branch is considered stale. (Default is one year) | yes | 365 |
| grace | Grace period for the Pull Requests created before they are closed and the branch is deleted. (Default is two weeks) | — | 14 |
| merge_target | The target branch used to target as the base of the PR. | — | main |
| pr_title | The title used followed by the branch name for PRs created when a branch is stale. | — | Stale Branch requires merging |
| pr_message | A custom message that will be appended to the PR body when creating one for a stale branch. | — | The branch associated with this PR was deemed stale and needs to be merged in or it will be deleted. Once the grace period is up, both this PR and the branch will be discarded. |
| delete_branches | Determines if the branch is delete when closing the pull requests. WARNING: This is destructive when set to true. | — | false |
Outputs
no outputs