pulumi-github-kotlin
5.21.0.0
pulumi-github-kotlin
/
com.pulumi.github.kotlin
/
Repository
/
deleteBranchOnMerge
delete
Branch
On
Merge
val
deleteBranchOnMerge
:
Output
<
Boolean
>
?
Automatically delete head branch after a pull request is merged. Defaults to
false
.