Stream: dev

Topic: depends on GitHub issue or PR


view this post on Zulip Philip Durbin ๐Ÿš€ (Sep 04 2024 at 19:13):

It's pretty common that we don't want to pick up an issue or PR until another issue or PR is addressed. GitHub doesn't support any concept of "depends on" as chronicled here:

view this post on Zulip Philip Durbin ๐Ÿš€ (Sep 04 2024 at 19:17):

@Ceilyn Boyd came up with something that we're trying out. She added a custom "Depends On" text field to our main project (31). It looks like this:
Screenshot-2024-09-04-at-3.15.38PM.png

view this post on Zulip Dimitri Szabo (Sep 09 2024 at 10:08):

Great idea! :grinning:

view this post on Zulip Dimitri Szabo (Sep 09 2024 at 10:10):

maybe it should be clearer in the issues/PRs template too splitting "Any related..." in one section for dependencies and one for any other related, or would it be too tedious ?

view this post on Zulip Philip Durbin ๐Ÿš€ (Sep 09 2024 at 12:52):

Hmm, the focus for now is actual technical dependencies. Waiting for one pull request to be merged before the code can be opened up again and worked on further.

view this post on Zulip Philip Durbin ๐Ÿš€ (Sep 09 2024 at 13:29):

We could start a whole thread on related issues if you want. :grinning:


Last updated: Nov 01 2025 at 14:11 UTC