-
Notifications
You must be signed in to change notification settings - Fork 107
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
Support merged
pull requests for github
and gitlab
#311
base: main
Are you sure you want to change the base?
Conversation
Thanks for the pull request. Actually, the
Not sure how exactly the query |
I'll say that I don't understand the logic behind "closed". When I use |
PR can be closed because of being merged or declined. This takes just the successful PRs. |
Pull requests authored by a user are covered by
Understood. It might make sense to separate closed (without merge) and merged pull requests. However, we need to make sure the stat is working as expected. As mentioned in the comment above, some of the pull requests merged by me in the given time frame are not reported by the new stat. Could you please, have a look into that? |
Hi @psss!
I think of the assignee as the reviewer*. I dig the idea of
Having worked on CLIs for more than 20y, I appreciate that you may not want to maintain a massive proliferation of flags. That said, I could envision the following non-mutually-exclusive options that could be used in conjunction with all/most of the
...where the default is I haven't thought through whether/how these could also apply to *I imagine different shops use different processes, so this may not apply universally, but this is how it's done at Red Hat, at least in the OpenShift org, so I know it's not just me :) |
Well, for reviewers there's a dedicated field, right? I would not suggest to duplicate the meaning.
Just to clarify, the existing
+1 for having
Your suggested name |
Mm, fair point. The difference being that any schmo can leave a review, whereas in our process the assignee's reviews are the "important" ones -- specifically the ones that the author expects to move the PR toward getting merged. I guess the subtleties of different processes come into play here... but empirically having separate flags for "assigned" vs "reviewed" PRs would give users the flexibility to report in whatever way is most appropriate for them.
If I could further filter by open/abandoned/merged, I would think so, yes. |
This is straightforward. The The I need the merged PR (authored by me), as I report the code I, personally, contributed. |
Isn't the credit for authoring a pull request covered by |
The |
Thanks much for the clarification and sorry for the late response. So it's about getting the work until the finish (merging) and the date is clearly different. Makes sense now. Let's do it as you suggest. Could you please rebase on the latest |
merged
pull requests for github
and gitlab
Changes