Highlight merges done using GitHub's web interface

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