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

_______________________________________________
Wikitech-l mailing list
[email protected]
https://lists.wikimedia.org/mailman/listinfo/wikitech-l

Reply via email to