git-pull-all.sh should say which branches it updated, and which files changed
One of our defenses against weird merges is that when each developer pulls the latest version of the branches, git will tell them which files changed. But if I'm reading the output of the git scripts correctly, they don't actually do this.
IMO we should not suppress the output of the pull/merge operations here, or at least not the part that says what changed.