Avoid sending a GetUsers request for an emptly list of user ids

We don't actually need to return the users at this time. We just call this for its side effect.

Co-authored-by: Nathan Sobo <nathan@zed.dev>
45b6a9df36Max Brunsfeld committed on 5/10/2022, 1:03:24 AMparentb8aba09
1 file changedLine totals unavailable