New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add get_uris and extend get_servers #2158

Merged

yngvar-antonsson merged 1 commit into master from add-get-uris

Nov 21, 2023

Collaborator

yngvar-antonsson commented Nov 14, 2023 •

edited

Loading

I didn't forget about

Tests
Changelog
Documentation

Close #2155

yngvar-antonsson force-pushed the add-get-uris branch 3 times, most recently from 24b4bcc to 0ed1bfb Compare

November 20, 2023 14:30

filonenko-mikhail approved these changes

View reviewed changes


          Add get_uris and extend get_servers

fe0e73b

yngvar-antonsson force-pushed the add-get-uris branch from 0ed1bfb to fe0e73b Compare

November 21, 2023 14:03

yngvar-antonsson merged commit 9396057 into master

20 checks passed

yngvar-antonsson deleted the add-get-uris branch

November 21, 2023 14:33

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

Labels

None yet