After promising to resign from the cabinet if Theresa May's Brexit deal led to Northern Ireland having a different relationship with the EU than the rest of the UK, and the deal doing exactly that, Scottish Secretary David Mundell was under pressure to keep to his word.