WIP: Add `merge-prs.sh` script to contrib/#923

Closed

apoelstra wants to merge 3 commits intoElementsProject:masterfrom

apoelstra:2020-11--merge-prs

Commits on Nov 3, 2020

Commits on Dec 10, 2020

add lint check and full `make check`
apoelstra
committed