I'm trying to merge several swagger files from similar APIs. Each swagger file contains the ping endpoint having the same OperationID:
"/ping": { "get": { "operationId": "getPing",
This results in a conflict. --continueOnError does not help, the combined file is not generated.
IMHO, my use case is rather common, so can I open a PR that would automatically rename getPing to getPing1 or fix it in any other way?
Suggestions appreciated
I'm trying to merge several swagger files from similar APIs. Each swagger file contains the
pingendpoint having the same OperationID:"/ping": { "get": { "operationId": "getPing",This results in a conflict.
--continueOnErrordoes not help, the combined file is not generated.IMHO, my use case is rather common, so can I open a PR that would automatically rename
getPingtogetPing1or fix it in any other way?Suggestions appreciated