For all the frothing by our Brexity brothers, the pint and mile are safe forever in the UK (as indeed are all non-metric measures. But I didn't want to lower the tone with facts).
What is more annoying is the UK could have been metric in 1895, if a couple more MPs had been in Westminster. There was no (ludicrous) emotional attachment to imperial, and some very good reasons to switch to metric.
Ah, what might have been ....