Another problem is we people doing oh, say monthly updates from git, and
hoping to get a summary of what to be aware of. The best I can do
currently is
git fetch origin
git diff master..origin/master \
RELEASE-NOTES-*|
tee /tmp/gitdiff$$|wdiff -d -3 > /tmp/mediawikiDiff$$
${PAGER-less} /tmp/mediawikiDiff$$