Files
openide/plugins/github
Chris Lemaire 861c083808 [github] Add a fake ghost user for GHE servers (IJPL-174769)
Didn't check every single usage, but in an ideal world,
this user should never leak into an API request.

Erroneous usages of the FAKE ghost user should be found when reported
and replaced with `null`, because in this case it's apparently
possible not to have a user assigned at all.

To be abundantly clear: this FAKE ghost user replaces github.com/ghost
in case one does not exist on the server.


(cherry picked from commit 6a1f48e6751992463cbe5c43b740ef2ab0f999fa)

IJ-CR-161085

GitOrigin-RevId: 8109653900f7394813aaba8ac2776c86eaeb143a
2025-04-29 15:00:39 +00:00
..