--- openapi: get /ping --- <RequestExample> ```bash Request curl --request GET \ --url http://localhost:8080/ping ``` </RequestExample> <ResponseExample> ```json Response { "ping": "pong" } ``` </ResponseExample>
