Skip to content

Extend the object ID regex#56

Merged
josephschorr merged 1 commit intomainfrom
extended-object-ids
Apr 7, 2023
Merged

Extend the object ID regex#56
josephschorr merged 1 commit intomainfrom
extended-object-ids

Conversation

@jakedt
Copy link
Copy Markdown
Member

@jakedt jakedt commented Apr 7, 2023 •
edited by josephschorr
Loading

API changes for authzed/spicedb#1210

@jakedt jakedt requested a review from josephschorr April 7, 2023 17:24
@jakedt jakedt force-pushed the extended-object-ids branch from 469624b to 6e772c0 Compare April 7, 2023 17:24
josephschorr
josephschorr approved these changes Apr 7, 2023
View reviewed changes
Copy link
Copy Markdown
Member

@josephschorr josephschorr left a comment

Choose a reason for hiding this comment

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

LGTM

@josephschorr josephschorr merged commit 1b83af2 into main Apr 7, 2023
@josephschorr josephschorr deleted the extended-object-ids branch April 7, 2023 17:51
@github-actions github-actions bot locked and limited conversation to collaborators Apr 7, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Reviewers

@jzelinskie jzelinskie jzelinskie approved these changes

@josephschorr josephschorr josephschorr approved these changes

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

3 participants

@jakedt @jzelinskie @josephschorr