docs: add github-merge.py process for merging PRs#1528
Merged
Cirrus CI / lint [bionic]
succeeded
Jan 23, 2026 in 3m 20s
Task Summary
Task successfully finished!
Details
✅ 00:54 clone
✅ 00:19 merge_base
✅ 02:05 lint
Loading