Zulip Chat Archive

Stream: PR reviews

Topic: Dependent PRs


Jon Eugster (May 30 2022 at 12:35):

I am sorry for the trivial question, but how exactly do I do dependent PRs? I tried that with #14458 depending on #14457, but I think I messed that up, not sure if merging the first one into the second branch was the way to go. Thanks for the help


Last updated: Dec 20 2023 at 11:08 UTC