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

Capitalize Archive when it follows DANDI #2114

Merged
merged 1 commit into from
Dec 19, 2024
Merged

Conversation

kabilar
Copy link
Member

@kabilar kabilar commented Dec 17, 2024

The changes in this pull request are based on the style guidelines.

cc @yarikoptic

Copy link
Member

@waxlamp waxlamp left a comment

Choose a reason for hiding this comment

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

Thanks, Kabi!

@waxlamp waxlamp merged commit cdeb572 into dandi:master Dec 19, 2024
9 of 10 checks passed
@mvandenburgh
Copy link
Member

fyi I think the dandi-cli CI job failed due to #2107.

@dandibot
Copy link
Member

🚀 PR was released in v0.4.2 🚀

@dandibot dandibot added the released This issue/pull request has been released. label Dec 19, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
released This issue/pull request has been released.
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants