Peter Eisentraut: git diff and git log and dots

A little while ago, we had a few PostgreSQL hackers in a room and someone oversaw me typing something like git diff REL_14_STABLE...REL_15_STABLE and they wondered, “oh, I didn’t know about...