toggle menu
pulumi-github-kotlin
5.26.0.1
jvm
switch theme
search in API
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
.