Check in Andrew's script for merging changes into Elements integration branch#1210

Merged

delta1 merged 5 commits intoElementsProject:masterfrom

gwillen:feature-andrew-merge-script

Feb 13, 2025

Commits on Feb 14, 2023

Check in PR mergeing script by Andrew Poelstra

apoelstra
authored and
gwillen
committed
Make some parameters generic (branches, parallel jobs)
gwillen
committed

Commits on Mar 2, 2023

Refactoring, improved help text, general improvements.
gwillen
committed

Commits on Mar 20, 2023

Add automatic setup to merge-prs script
gwillen
committed

Commits on Mar 22, 2023

More improvements to merge-prs script
gwillen
committed