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

🎨 change sort direction #191

Merged
merged 2 commits into from
Dec 15, 2022
Merged

🎨 change sort direction #191

merged 2 commits into from
Dec 15, 2022

Conversation

flaxel
Copy link
Contributor

@flaxel flaxel commented Dec 9, 2022

Type of Change

  • Bugfix
  • Enhancement / new feature
  • Refactoring
  • Documentation

Description

Currently, new PRs are merged first and older ones are undeved. So it took much more time to get older PRs merged. With the change of sort direction, we want to make sure that old PRs are prioritized (see documentation).

Checklist

  • Write tests
  • Make sure all tests pass
  • Update documentation
  • Review the Contributing Guideline and sign CLA
  • Reference relevant issue(s) and close them after merging

@flaxel flaxel added the dev Pull Requests that deployed to dev label Dec 9, 2022
@Staffbot
Copy link

Staffbot commented Dec 9, 2022

🟢 Sucessfully deployed to dev.
The following Pull Requests have been deployed to dev:

@Staffbot Staffbot added the successful Pull request that are successfully merged to dev label Dec 9, 2022
@flaxel flaxel merged commit c9f2aa1 into main Dec 15, 2022
@flaxel flaxel deleted the change-sort-direction branch December 15, 2022 13:02
@github-actions github-actions bot locked and limited conversation to collaborators Dec 15, 2022
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
dev Pull Requests that deployed to dev successful Pull request that are successfully merged to dev
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

4 participants