Git

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. ...

We keep one plain text file that lists every repository we gate, one path per line. Then we needed a new hook in all of them. You don’t need a full programming language, or to do it by hand. Plain ol’ bash does it in one line: while read -r r; do install-hooks "$r"; done < <(grep -vE '^[[:space:]]*(#|$)' repos.txt | sed "s|\$HOME|$HOME|; s|^~|$HOME|") install-hooks stands in for whatever installs your hook. Ours is our commit gate’s own install command. ...