Make a pr depend on another

Stream: general

[Jason KY.]

Hi,
I'm trying to make a new pr that's dependent on an existing pr, in particular, I would like to make #7427 dependent on #7416. How would I be able to do this?

[Mario Carneiro]

You just say "depends on #NNN" in the PR description. There are instructions in the PR template

[Mario Carneiro]

it looks like you messed up the check box, which is making the bot miss it

[Mario Carneiro]

you need [ ] not []

[Jason KY.]

Thanks, sorry I didnt read the instructions