Repository navigation

Backport tools: sort PRs to be cherry picked by merged/closed date - #52667

Merged

ramonjd merged 4 commits into

trunkfrom

try/order-cherry-picked-PRs-by-closed-date

Jul 17, 2023

Merged

Backport tools: sort PRs to be cherry picked by merged/closed date#52667
ramonjd merged 4 commits into
trunkfrom
try/order-cherry-picked-PRs-by-closed-date

Commits on Jul 17, 2023
- Sorting found PRs by closed date in ascending order, from the oldest closed PRs to most recently closed PRs.
  ramonjd
  committed
  d64ce00
- Now checking pull_request?.merged_at
  ramonjd
  committed
  e5879a9
- Now checking pull_request?.merged_at
  ramonjd
  committed
  ff0b0d2
- semi colon
  ramonjd
  committed
  a499154