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