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.

Sign up for GitHub

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

Jump to bottom

Add the option to sort PRs #13

Closed
neubig opened this issue Nov 15, 2024 · 2 comments · Fixed by #14
Closed

Add the option to sort PRs #13

neubig opened this issue Nov 15, 2024 · 2 comments · Fixed by #14
Labels
fix-me

Comments

@neubig
Copy link
Owner

neubig commented Nov 15, 2024

It would nice to be able to sort the retrieved PRs. Add an option to retrieve the sorted PRs by various characteristics.
@neubig neubig added the fix-me label Nov 15, 2024
@github-actions GitHub Actions
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

@neubig neubig added fix-me and removed fix-me labels Nov 15, 2024
@github-actions GitHub Actions
Copy link

OpenHands started fixing the issue! You can monitor the progress here.

@neubig neubig added fix-me and removed fix-me labels Dec 7, 2024
neubig added a commit that referenced this issue Dec 10, 2024
@neubig
Fix issue #13: Add the option to sort PRs
3321885
@neubig neubig mentioned this issue Dec 10, 2024
Merged
neubig pushed a commit that referenced this issue Dec 29, 2024
@openhands-agent
Fix pr #14: Fix issue #13: Add the option to sort PRs
3ccaa13
neubig added a commit that referenced this issue Dec 30, 2024
@neubig
Merge pull request #14 from neubig/openhands-fix-issue-13
42fbe3d 
Fix issue #13: Add the option to sort PRs
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
fix-me
Projects
None yet
Milestone
No milestone
Development

Successfully merging a pull request may close this issue.

Fix issue #13: Add the option to sort PRs neubig/pr-viewer
1 participant
@neubig