-
-
Notifications
You must be signed in to change notification settings - Fork 5.2k
add an option to show open PRs on related doc pages. #4108
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
Comments
hmm, building such list would be very inefficient (it requires getting the diff status for each PR to know the impacted files, and for some files looking at all places where they are included). then, should the list be updated when a new PR is opened impacting the page, or should it be updated only the next time the doc is rendered online ? /cc @javiereguiluz |
i was more thinking of relying on github labels and keeping it real broad not as specific as you suggested. I figured docs would be automatically updated once changes hit , perhaps that is not so? |
Sorry you got bit by that @jrobeson :/. I think we should just do a better job of merging things quickly (yes, I know that is very much my responsibility). And in the rare event that we have a long-running or controversial PR for an article, we should manually add a quick note to that chapter pointing to the PR. |
@weaverryan Is there anything we can do to speed things up a bit? For example, can we introduce a new label which can be added by others mentioning that the "functional discussion" has finished. This would then mean that the community thinks this is ready to be merged. You could then frequently focus on only these pull requests. |
i suggested some automatic solution because i know you are quite busy. although likely the real problem is the bus factor |
@xabbuh That's an interesting idea. I do basically try to do that now: focus on what's ready so we can get those merged in. Guys like you and Wouter do a really great job of pushing most PR's to that point :). If we had a label, I could certainly go straight to those and make sure those PR's have a very short wait time. It would then be all of our goal to work when we can to move as many issues to where it can have that label. @wouterj what do you think? An automatic solution is interesting, though I'm not sure it would be worth the work right now. It would probably need to be done by Javier on symfony.com (something that looks at the files that are modified and updates things based on those). |
I think such a label can help, but maybe we have to redesign our current process. I'm thinking about extending the doc team:
In the current process, I see that you try to merge the minor PRs first, which results in less time for the bigger PRs which usually results in a long waiting time for the bigger PRs. What do you think? |
I created 3 labels:
|
I like it - let's see how it works! |
I was heavily bitten by the lack of #3894 . I probably spent 2-4 hours trying to figure out why i coudln't get my custom extension name to work. I disappeared from symfony land shortly before 2.3 was released so i totally didn't know about it.
I'd like to suggest that an entry be added at the bottom of doc pages mention that list open PRs related to that page.
The text was updated successfully, but these errors were encountered: