<p>Well, I got a couple duplicate emails from this thread -- but not from every comment.</p>
<p>Oh, I also clicked the "mute this thread" link in on of the emails to see what would happen, and I got a message that I had muted the thread... but it isn't actually muted for me, does that apply to the ohrrpgce-githubmail account? Apparently not, because your latest comment ended up in the archives for the mailinglist, although I didn't get that email from the mailing list. I guess because it was a duplicate email that gmail filtered out? I don't know whether it filters duplicates from mailinglist.</p>
<p>I also notice that emails from ohrrpgce-githubmail forwarded by the mailinglist have two reply-to addresses, github and the mailinglist, which is interesting and useful.</p>

<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you commented.<br />Reply to this email directly, <a href="https://github.com/ohrrpgce/ohrrpgce/issues/21?email_source=notifications&email_token=AMWGWZUJ5V4KBC4KABLWB7TQB3SNLA5CNFSM4IHM7YO2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD3ATY2Y#issuecomment-515980395">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AMWGWZSIEUGSWL2VULMHPMTQB3SNLANCNFSM4IHM7YOQ">mute the thread</a>.<img src="https://github.com/notifications/beacon/AMWGWZWVRA4GTOGQELE6N53QB3SNLA5CNFSM4IHM7YO2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD3ATY2Y.gif" height="1" width="1" alt="" /></p>
<script type="application/ld+json">[
{
"@context": "http://schema.org",
"@type": "EmailMessage",
"potentialAction": {
"@type": "ViewAction",
"target": "https://github.com/ohrrpgce/ohrrpgce/issues/21?email_source=notifications\u0026email_token=AMWGWZUJ5V4KBC4KABLWB7TQB3SNLA5CNFSM4IHM7YO2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD3ATY2Y#issuecomment-515980395",
"url": "https://github.com/ohrrpgce/ohrrpgce/issues/21?email_source=notifications\u0026email_token=AMWGWZUJ5V4KBC4KABLWB7TQB3SNLA5CNFSM4IHM7YO2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOD3ATY2Y#issuecomment-515980395",
"name": "View Issue"
},
"description": "View this Issue on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>