Skip to content

api: swagger: Tweak type of GwPriority to integer#50333

Merged
thaJeztah merged 2 commits intomoby:masterfrom
fussybeaver:50331-swagger-gwpriority-integer
Jul 5, 2025
Merged

api: swagger: Tweak type of GwPriority to integer#50333
thaJeztah merged 2 commits intomoby:masterfrom
fussybeaver:50331-swagger-gwpriority-integer

Conversation

@fussybeaver
Copy link
Contributor

@fussybeaver fussybeaver commented Jul 5, 2025

Related to: fussybeaver/bollard#537

- What I did

Changed the GwPriority API property type to "integer".

- How I did it

Modified all API documents in ./docs/api that contain a GwPriority to be an integer. Added a separate commit to modify ./api/swagger.yaml with the same change.

Verified that the types do not change when running ./hack/generate-swagger-api.sh

- How to verify it

Generated the types based on the new API and verified that GwPriority is now an integer.

- Human readable description for the release notes

- A picture of a cute animal (not mandatory but encouraged)

Signed-off-by: Niel Drummond <niel@drummond.lu>
Signed-off-by: Niel Drummond <niel@drummond.lu>
Copy link
Member

@thaJeztah thaJeztah left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM, thank you!

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

API doc for EndpointSettings.GwPriority should be an integer

3 participants