Skip to content

fix!: Differentiate merge method of pull request and merge queue#3559

Merged
gmlewis merged 1 commit intogoogle:masterfrom
stanfordpeng:different-merge-queue-merge-method
Apr 23, 2025
Merged

fix!: Differentiate merge method of pull request and merge queue#3559
gmlewis merged 1 commit intogoogle:masterfrom
stanfordpeng:different-merge-queue-merge-method

Commits

Commits on Apr 23, 2025