Code

git-pull-script: pretty-print the merge head information