<p>I'm going to go with the "If the check is pointless and has been like that for over 10 years with no ill effects, we can probably remove it" approach on this one. So unless I hear otherwise, I'll fix the conflicts and merge this PR in the next week or so.</p>
<p style="font-size:small;-webkit-text-size-adjust:none;color:#666;">—<br />You are receiving this because you are subscribed to this thread.<br />Reply to this email directly, <a href="https://github.com/openstreetmap/openstreetmap-website/pull/139#issuecomment-344673278">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/ABWnLbXhOXnzlS_MF_yWX5pU_eRfaI5eks5s2yRCgaJpZM4ANlWG">mute the thread</a>.<img alt="" height="1" src="https://github.com/notifications/beacon/ABWnLXhNBMwQEGzn4gah1lxoh1cqBBwCks5s2yRCgaJpZM4ANlWG.gif" width="1" /></p>
<div itemscope itemtype="http://schema.org/EmailMessage">
<div itemprop="action" itemscope itemtype="http://schema.org/ViewAction">
<link itemprop="url" href="https://github.com/openstreetmap/openstreetmap-website/pull/139#issuecomment-344673278"></link>
<meta itemprop="name" content="View Pull Request"></meta>
</div>
<meta itemprop="description" content="View this Pull Request on GitHub"></meta>
</div>
<script type="application/json" data-scope="inboxmarkup">{"api_version":"1.0","publisher":{"api_key":"05dde50f1d1a384dd78767c55493e4bb","name":"GitHub"},"entity":{"external_key":"github/openstreetmap/openstreetmap-website","title":"openstreetmap/openstreetmap-website","subtitle":"GitHub repository","main_image_url":"https://cloud.githubusercontent.com/assets/143418/17495839/a5054eac-5d88-11e6-95fc-7290892c7bb5.png","avatar_image_url":"https://cloud.githubusercontent.com/assets/143418/15842166/7c72db34-2c0b-11e6-9aed-b52498112777.png","action":{"name":"Open in GitHub","url":"https://github.com/openstreetmap/openstreetmap-website"}},"updates":{"snippets":[{"icon":"PERSON","message":"@gravitystorm in #139: I'm going to go with the \"If the check is pointless and has been like that for over 10 years with no ill effects, we can probably remove it\" approach on this one. So unless I hear otherwise, I'll fix the conflicts and merge this PR in the next week or so."}],"action":{"name":"View Pull Request","url":"https://github.com/openstreetmap/openstreetmap-website/pull/139#issuecomment-344673278"}}}</script>