--- title: Support remove source branch on merge w/ push options merge_request: 30728 author: type: added