Skip to content

Conversation

@AnotherDaniel
Copy link
Contributor

@AnotherDaniel AnotherDaniel commented Dec 11, 2024

Address #224

This changes the existing Uri API, by renaming is_remote_authority() to is_remote() - the new name is more semantically correct, and makes more sense in combination with the new method to directly check is_remote_authority().

@AnotherDaniel AnotherDaniel self-assigned this Dec 11, 2024
@AnotherDaniel AnotherDaniel added enhancement New feature or request breaking change This pull request introduces a change to public API which is not backwards compatible labels Dec 11, 2024
Copy link
Contributor

@sophokles73 sophokles73 left a comment

Choose a reason for hiding this comment

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

LGTM

@sophokles73 sophokles73 merged commit f55449c into main Dec 12, 2024
11 checks passed
@AnotherDaniel AnotherDaniel deleted the remote_authority branch December 13, 2024 08:57
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

breaking change This pull request introduces a change to public API which is not backwards compatible enhancement New feature or request

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants