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

New hub data format #72

Merged
merged 3 commits into from
Oct 2, 2023
Merged

New hub data format #72

merged 3 commits into from
Oct 2, 2023

Conversation

slawosz
Copy link
Contributor

@slawosz slawosz commented Sep 28, 2023

No description provided.

@slawosz slawosz force-pushed the new-hub-data-format branch from fd4b94c to 90989ef Compare September 28, 2023 10:30
@slawosz slawosz changed the title WIP: New hub data format New hub data format Sep 28, 2023
@slawosz slawosz merged commit d4fc0de into main Oct 2, 2023
3 checks passed
@slawosz slawosz deleted the new-hub-data-format branch October 2, 2023 09:07
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