Highlight merges done using GitHub's web interface

Some teams extensively use GitHub's web interface, so it's nice to see those merges stand out as well.