delete_head_branch ๐
The delete_head_branch
action deletes the head branch of the pull request,
that is the branch which hosts the commits. This only works if the branch is
stored in the same repository that the pull request target, i.e., if the pull
request comes from the same repository and not from a fork.
Note
The action will only happen if and when the pull request is closed or merged.
Key Name |
Value Type |
Default |
Value Description |
---|---|---|---|
|
Boolean |
|
If set to |