Merge a few PRs while the coffee brews
Ever wanted to merge a few PRs in one go while getting your coffee? Three repositories, three approved pull requests, and nobody wants to click through three browser tabs on a Friday. One line: for pr in "bluetir 6" "kapelos 1" "solander 4"; do gh pr merge "${pr#* }" -R "kingletas/${pr% *}" --merge --delete-branch || print "left: $pr"; done Hit enter, go get the coffee. When you’re back, either everything merged, or the loop tells you exactly what it left behind. ...