Zulip Chat Archive
Stream: maths
Topic: Spltting up PRs
Chris Hughes (Dec 20 2018 at 06:06):
I've split up a few of my PRs into smaller chunks. This has the side effect of meaning that I have PRs open that depend on other PRs. Is this helpful?
Mario Carneiro (Dec 20 2018 at 06:07):
That's fine, just make sure to mark it clearly in the PR
Last updated: Dec 20 2023 at 11:08 UTC