Highlight merges done using GitHub's web interface