contrib: upstream my merge-prs.sh changes - #1532
Merged
delta1 merged 1 commit intoFeb 17, 2026
Merged
Cirrus CI / lint [bionic]
succeeded
Feb 13, 2026 in 3m 31s
Task Summary
Task successfully finished!
Details
✅ 00:59 clone
✅ 00:22 merge_base
✅ 02:07 lint
Loading