Highlight merges done using GitHub's web interface
highlight merges of remote-tracking branches
Merge branch 'merge-highlighting'