How to deal with interdependent dlang PRs?

[Quirin Schroll]

On Thursday, 25 May 2023 at 20:18:08 UTC, Dennis wrote:
> On Thursday, 25 May 2023 at 15:37:00 UTC, Quirin Schroll wrote:
>> Is there a process? I can’t be the first one running into this.
>
> Doing it in 3 PRs is the process.

Okay. It’s not that bad.

> This is one of the reasons why druntime was merged into dmd's 
> repository. I remember someone saying that if you name the git 
> branches the same, the CI checks out the PR's corresponding 
> branch in other repositories, but I have no experience doing 
> this so I'm not sure it will work.

I’ll try that. I wonder what happens when I rename the branches 
on my fork, but renaming branches isn’t that uncommon, I guess.