Skip to content

Update README.md with use instructions#79

Merged
seananderson merged 3 commits intomainfrom
2025Dec-update-readme
Dec 15, 2025
Merged

Update README.md with use instructions#79
seananderson merged 3 commits intomainfrom
2025Dec-update-readme

Conversation

@mpinsky
Copy link
Contributor

@mpinsky mpinsky commented Dec 12, 2025

Based on our 12 December 2025 discussion on making the dataset more accessible, I updated our readme.

@mpinsky mpinsky requested review from AquaAuma and jepa December 12, 2025 10:22
@mpinsky mpinsky added the documentation Improvements or additions to documentation label Dec 12, 2025
@mpinsky mpinsky requested review from robgur and seananderson and removed request for AquaAuma December 12, 2025 15:01
Copy link
Collaborator

@jepa jepa left a comment

Choose a reason for hiding this comment

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

Look good to me.

@mpinsky
Copy link
Contributor Author

mpinsky commented Dec 15, 2025

@seananderson Do you know why this says, "Merging is blocked. Cannot update this protected ref"?

@seananderson
Copy link
Collaborator

@mpinsky I had to disable "Restrict updates" under the "Protect main" rule. I made a few small copyedits and typo fixes. For now I'll merge this into the main branch since there are no changes to data or code and we haven't established a dev branch.

@seananderson seananderson merged commit ea6b703 into main Dec 15, 2025
@mpinsky
Copy link
Contributor Author

mpinsky commented Dec 15, 2025

Thank you! As a heads up, we do now have a dev branch, though it was created after this pull request.

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

Labels

documentation Improvements or additions to documentation

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants