Skip to content

Conversation

@jokasimr
Copy link
Contributor

No description provided.

@jokasimr jokasimr requested a review from MridulS August 26, 2025 07:37
Copy link
Member

@jl-wynen jl-wynen left a comment

Choose a reason for hiding this comment

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

You could probably remove the url field altogether. Is it even shown in the rendered docs?

@jokasimr
Copy link
Contributor Author

is it even shown in the rendered docs

Yes it is shown. Yeah it's probably better to remove it entirely, otherwise we're going to have two identical links in the reference and that's a bit ugly

@jokasimr jokasimr merged commit a49cc28 into main Aug 26, 2025
4 checks passed
@jokasimr jokasimr deleted the fix-link branch August 26, 2025 09:50
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants