Skip to content

Rename dim#148

Merged
pp-mo merged 9 commits intomainfrom
rename_dim
Sep 3, 2025
Merged

Rename dim#148
pp-mo merged 9 commits intomainfrom
rename_dim

Conversation

@pp-mo
Copy link
Member

@pp-mo pp-mo commented Aug 11, 2025 •
edited
Loading

Closes #87

@pp-mo
Copy link
Member Author

pp-mo commented Aug 11, 2025 •
edited
Loading

Todos

  • add refs in docs
    • replace existing refs + warnings
  • consider whether it can or should be just ds.dimensions.rename(...)
    • (.. result=NO, it's not a low-level op -- and should not replace it)
  • whatsnew

pp-mo
pp-mo commented Sep 3, 2025
View reviewed changes
@pp-mo pp-mo marked this pull request as ready for review September 3, 2025 18:53
@pp-mo pp-mo merged commit bf3f594 into main Sep 3, 2025
5 checks passed
@pp-mo pp-mo deleted the rename_dim branch September 9, 2025 13:39
@scitools-ci scitools-ci bot removed this from 🚴 Peloton Sep 24, 2025
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Reviewers

No reviews

Assignees

No one assigned

Labels

None yet

Projects

None yet

Milestone

No milestone

Development

Successfully merging this pull request may close these issues.

Dimension rename utility

1 participant

@pp-mo