Skip to content
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.

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

improve UX for metadata queries #4377

Merged
merged 1 commit into from
Feb 14, 2023
Merged

improve UX for metadata queries #4377

merged 1 commit into from
Feb 14, 2023

Conversation

mccanne
Copy link
Collaborator

@mccanne mccanne commented Feb 14, 2023

This commit improves the UX for metadata queries by using the metadata type name to distinguish between commit-level queries and pool-level queries rather than requiring the presence of an @branch commit tag for commit-level queries. This way you can query the objects on the main branch of a pool without specifying @main. We also fixed a bug in the optimization logic where the layout of metadata queries was presumed to be the same layout of the pool. The fix is to presume the layout of metadata queries is unknown.

This commit improves the UX for metadata queries by using the
metadata type name to distinguish between commit-level queries
and pool-level queries rather than requiring the presence of
an @Branch commit tag for commit-level queries.  This way you
can query the objects on the main branch of a pool without
specifying @main.  We also fixed a bug in the optimization logic
where the layout of metadata queries was presumed to be the
same layout of the pool.  The fix is to presume the layout
of metadata queries is unknown.
@mccanne mccanne requested a review from a team February 14, 2023 03:01
Copy link
Member

@nwt nwt left a comment

Choose a reason for hiding this comment

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

Nice.

@mccanne mccanne merged commit d84e57b into main Feb 14, 2023
@mccanne mccanne deleted the fix-meta-query branch February 14, 2023 16:26
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.

2 participants