diff options
docs: make sure username doesn't leak into generated document (#2441)
* docs: make sure username doesn't leak into generated document
The documents previously contained `runner`, the username of GitHub
Actions runners, which would be overwritten by the user's name when run
locally and generate unwanted diff.
* docs: rename username to user
Co-authored-by: Justin M. Keyes <justinkz@gmail.com>
---------
Co-authored-by: Justin M. Keyes <justinkz@gmail.com>
Diffstat (limited to 'lua/lspconfig/server_configurations/gdscript.lua')
0 files changed, 0 insertions, 0 deletions
