Skip to content
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

Filter merged PRs on the contributors list #270

Open
deniak opened this issue Nov 18, 2024 · 1 comment
Open

Filter merged PRs on the contributors list #270

deniak opened this issue Nov 18, 2024 · 1 comment
Assignees

Comments

@deniak
Copy link
Member

deniak commented Nov 18, 2024

The contributors page for a given repository lists substantive PRs whether or not they are open or closed.
Only the merged PRs should be listed.

See #269 (comment)

@dontcallmedom
Copy link
Member

For CGs that contribute to WGs recurringly (e.g. WebAssembly), reviewing substantive contributions would be best done on a time basis, each CG→WG transition serving as the starting point for a new IPR review.

This would be much easier if the listing of substantive PRs had data about the merged date as well

@deniak deniak self-assigned this Nov 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

2 participants