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

Closed

apoelstra wants to merge 3 commits intoElementsProject:masterfrom apoelstra:2020-11--merge-prs

+90

Commits on Nov 3, 2020

Commits on Dec 10, 2020

add lint check and full make check
apoelstra
committed