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

Scaling points for PRs based on size of the PR / complexity of the issue #219

Open
rithviknishad opened this issue Feb 17, 2024 · 6 comments · May be fixed by #409
Open

Scaling points for PRs based on size of the PR / complexity of the issue #219

rithviknishad opened this issue Feb 17, 2024 · 6 comments · May be fixed by #409
Assignees

Comments

@rithviknishad
Copy link
Member

rithviknishad commented Feb 17, 2024

Problem

Although the leaderboard tracks the pull requests that are made, it currently does not track how big or small the PR is.

Proposed Solution

Track the number of linked issues to the PR and increase the point by 1 for each linked issue.

@parthksingh1
Copy link

@rithviknishad please assign me this issue

@rithviknishad
Copy link
Member Author

Hey @parthksingh1 any updates on this?

@parthksingh1
Copy link

@rithviknishad @dgparmar14 just a quick heads up: I'll be pushing the PR for this in the next couple of days. Ran into a few hiccups initially, plus had mid-semester exams this week, so couldn't get to it sooner. Thanks for your patience!

@rash-27
Copy link
Contributor

rash-27 commented Mar 28, 2024

If no one is working on this , I would like to work on this Issue

@Samuel-Aktar-Laskar
Copy link
Contributor

Samuel-Aktar-Laskar commented Mar 29, 2024

If no one is working on this , I would like to work on this Issue

Hey @rash-27 , have you started working?
I was working on it and I have just solved the issue and I would be raising PR soon.

Sorry I did not ask for assigning it to me earlier.

Samuel-Aktar-Laskar added a commit to Samuel-Aktar-Laskar/leaderboard that referenced this issue Mar 29, 2024
@rash-27
Copy link
Contributor

rash-27 commented Mar 29, 2024

@Samuel-Aktar-Laskar I too started working on this , but no problem.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging a pull request may close this issue.

4 participants