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

Open

gwillen wants to merge 5 commits intoElementsProject:masterfrom gwillen:feature-andrew-merge-script

+199

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