Let’s review the timeline

Trump speaks w/ Putin: 7/31/19

Trump requests list of top US spies: 8/3/19

Russia publishes name & biography of a man living near DC: 9/10/19

Trump says we should not use foreign spies: 9/10/19

Whistleblower complaint is filed re: alarming “promise” to foreign leader: 9/12/19

So — looks as though, between 8/3/19 and 9/10/19, Trump gave to Russia a list of US spies in Russia.