You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
$result['message'] = sprintf( 'Cleaned up local DMC worktree for %s, but could not delete remote branch %s: %s', $repo, $head_branch, $deleted->get_error_message() );
@@ -663,7 +678,7 @@ public function getCleanupPullRequestDefinition(): array {
663
678
returnarray(
664
679
'class' => __CLASS__,
665
680
'method' => 'handleCleanupPullRequest',
666
-
'description' => 'Delete a merged pull request head branch through the GitHub API without checking out or switching local branches. Supports dry_run previews.',
681
+
'description' => 'Cleanup a merged pull request by finalizing the matching local DMC worktree before optional remote branch deletion. Supports dry_run previews and local_only cleanup.',
667
682
'parameters' => array(
668
683
'type' => 'object',
669
684
'properties' => array(
@@ -679,6 +694,10 @@ public function getCleanupPullRequestDefinition(): array {
679
694
'type' => 'boolean',
680
695
'description' => 'Preview the cleanup decision without deleting the branch.',
681
696
),
697
+
'local_only' => array(
698
+
'type' => 'boolean',
699
+
'description' => 'Finalize and remove the matching local DMC worktree without deleting the remote branch.',
0 commit comments