Skip to content

Honor delete branch on merge repo setting when using merge API #25180

Honor delete branch on merge repo setting when using merge API

Honor delete branch on merge repo setting when using merge API #25180

Triggered via pull request October 19, 2025 20:10
@kemzebkemzeb
synchronize #35488
Status Success
Total duration 8s
Artifacts

pull-labeler.yml

on: pull_request_target
labeler
4s
labeler
Fit to window
Zoom out
Zoom in