Skip to content

Fix/rename sensebox to device#740

Merged
scheidtdav merged 6 commits intodevfrom
fix/rename-sensebox-to-device
Feb 9, 2026
Merged

Fix/rename sensebox to device#740
scheidtdav merged 6 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
@scheidtdav scheidtdav enabled auto-merge (squash) February 9, 2026 09:35
@scheidtdav scheidtdav merged commit d4e4a87 into dev Feb 9, 2026
6 checks passed
@scheidtdav scheidtdav deleted the fix/rename-sensebox-to-device branch February 9, 2026 09:37
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

2 participants