Skip to content
This repository has been archived by the owner on Aug 16, 2022. It is now read-only.

chore: Update endpoints #854

Merged
merged 1 commit into from
May 5, 2022
Merged

chore: Update endpoints #854

merged 1 commit into from
May 5, 2022

Conversation

cq-bot
Copy link
Contributor

@cq-bot cq-bot commented May 5, 2022

This PR was created by a scheduled workflow to sync endpoint changes

@cq-bot cq-bot requested a review from a team as a code owner May 5, 2022 19:34
@cq-bot cq-bot requested review from shimonp21 and removed request for a team May 5, 2022 19:34
@bbernays bbernays merged commit 05be3c2 into main May 5, 2022
@bbernays bbernays deleted the chore/update_endpoints branch May 5, 2022 22:00
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants