A White House official said McGahn had a 20-minute farewell meeting with Trump Wednesday and that it was a “good meeting,” with the President ticking off McGahn’s accomplishments.

White House chief of staff John Kelly was hoping that McGahn would stay through the end of the year, according to the White House official, but McGahn felt it was time to move on. There was no fanfare to the departure — McGahn just felt the timing was right — and he informed the President and then Kelly, according to the official.

“Typically you would have the incumbent stay until the successor was ready to take his place. But in this case McGahn was tired of the President and the President was tired of McGahn,” a source told CNN.