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

sort issues by update instead of creation date #1157

Open
wants to merge 1 commit into
base: main
Choose a base branch
from

Conversation

ericLemanissier
Copy link

Description:
When processing a limited number of issues/pull requests, it is more efficient to process the ones with the older update first, because they are the ones with the highest chance of being stale.

Check list:

  • Mark if documentation changes are required.
  • Mark if tests were added or updated to cover the changes.

@autoantwort
Copy link

@ericLemanissier
Copy link
Author

ericLemanissier commented May 27, 2024

yeah, this sorts by ascending or descending creation date (issue/pr number basically). The intent of the PR is to sort by update date instead.

@ericLemanissier
Copy link
Author

@MaksimZhukov @IvanZosimov what do you think of this change ?

@ericLemanissier
Copy link
Author

@HarithaVattikuti @priyagupta108 what do you think of this change ?

@ericLemanissier
Copy link
Author

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 this pull request may close these issues.

2 participants