Use gh pr merge --auto so the nightly bot waits for required checks - #1302
Closed
escherize wants to merge 1 commit into
Closed
Use gh pr merge --auto so the nightly bot waits for required checks#1302escherize wants to merge 1 commit into
escherize wants to merge 1 commit into