Skip to content

Fix/rename sensebox to device#740

Open
jona159 wants to merge 5 commits intodevfrom
fix/rename-sensebox-to-device
Open

Fix/rename sensebox to device#740
jona159 wants to merge 5 commits intodevfrom
fix/rename-sensebox-to-device

Conversation

@jona159
Copy link
Contributor

@jona159 jona159 commented Feb 6, 2026

Type of Change

Rename sensebox to device where it makes sense

  • Dependency upgrade
  • Bug fix (non-breaking change)
  • Breaking change
    • e.g. a fixed bug or new feature that may break something else
  • New feature
  • Code quality improvements
    • e.g. refactoring, documentation, tests, tooling, ...

Implementation

Checklist

  • I gave this pull request a meaningful title
  • My pull request is targeting the dev branch
  • I have added documentation to my code
  • I have deleted code that I have commented out

Additional Information

  • This PR closes #

@jona159 jona159 linked an issue Feb 6, 2026 that may be closed by this pull request
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.

rename senseboxID to deviceID

1 participant