<p></p>
<p>Ah, I hadn't thought of that.</p>
<p>But is this an edge case that we need to worry about? In that situation they are already off the beaten track when it comes to the installation instructions, and will probably know what to do if the migration fails.</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/3126#issuecomment-801191295">view it on GitHub</a>, or <a href="https://github.com/notifications/unsubscribe-auth/AAK2OLJDPSM7RF2WWT32Z23TEDFGNANCNFSM4Y6UBPIQ">unsubscribe</a>.<img src="https://github.com/notifications/beacon/AAK2OLNH3JJ7O2Q7PC4TNFTTEDFGNA5CNFSM4Y6UBPI2YY3PNVWWK3TUL52HS4DFVREXG43VMVBW63LNMVXHJKTDN5WW2ZLOORPWSZGOF7ATK7Y.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/openstreetmap/openstreetmap-website/pull/3126#issuecomment-801191295",
"url": "https://github.com/openstreetmap/openstreetmap-website/pull/3126#issuecomment-801191295",
"name": "View Pull Request"
},
"description": "View this Pull Request on GitHub",
"publisher": {
"@type": "Organization",
"name": "GitHub",
"url": "https://github.com"
}
}
]</script>