Github Create Empty Commit
github_create_empty_commitPush an empty commit to trigger a new CI run under your name. Helps rerun Dependabot PR checks while keeping rebasing active via the default [dependabot skip] message.
Instructions
Pushes a commit that changes no file, so CI starts a new run under the caller's name. A re-run keeps the privileges of the first run, which for Dependabot is a read-only token. Dependabot stops rebasing a branch once another commit is pushed to it, unless the message carries [dependabot skip], as the default does. See #490.
Workflow and conventions: github_get_skill('pr-management').
Input Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | No | Branch to commit to. Omit it and pr_number for the default branch | |
| message | No | Commit message. The default carries [dependabot skip], so Dependabot keeps rebasing the branch | chore: trigger CI [dependabot skip] |
| pr_number | No | Pull request whose head branch to commit to, in place of branch | |
| repo_name | Yes | ||
| repo_owner | Yes | ||
| expected_head_sha | No | Refuse unless the head still matches this SHA | |
| allow_default_branch | No | Commit to the default branch, which is refused otherwise |
Output Schema
| Name | Required | Description | Default |
|---|---|---|---|
| branch | Yes | ||
| html_url | Yes | ||
| tree_sha | Yes | ||
| commit_sha | Yes | ||
| parent_sha | Yes | ||
| parent_tree_sha | Yes |