greet

Changes to GET /user/ping

get/user/ping

Jul 17, 202602eb9de49433 Revision changes
- info
  api operation id /user/ping removed and replaced with ping
Jan 1, 2021e7de8c26f5e0 Revision changes
- info
  api operation id ping removed and replaced with /user/ping