I have seen this, Boris was foreign secretary then and gave permission for GCHQ to proxy spy on Trump, the form I saw was agreeing to continue this operation fo. another 6 months.  I have no idea if he told Trump about Barry or not, I believe that was Admiral Rodgers