toggle menu
pulumi-github-kotlin
6.7.2.0
jvm
switch theme
search in API
pulumi-github-kotlin
/
com.pulumi.github.kotlin
/
RepositoryArgsBuilder
/
deleteBranchOnMerge
delete
Branch
On
Merge
@
JvmName
(
name
=
"sexrdvcmshuyddhf"
)
suspend
fun
deleteBranchOnMerge
(
value
:
Output
<
Boolean
>
)
@
JvmName
(
name
=
"xxvghtvrrtniakye"
)
suspend
fun
deleteBranchOnMerge
(
value
:
Boolean
?
)
Parameters
value
Automatically delete head branch after a pull request is merged. Defaults to
false
.