fix: device_read should use set_and_publish
Description
For consistency, every device_read should perform set_and_publish, not just send.
Definition of Done
-
Documentation is up-to-date.
Code indexing in gitaly is broken and leads to code not being visible to the user. We work on the issue with highest priority.
gitlab.psi.ch will be shutdown by 30 of November 2025! Please migrate your repositories to https://gitea.psi.ch or any other services by then - if you need help in migrating to gitea, contact gitea@psi.ch To still access this service until 30 November 2025 you need to be registered as gitlab user. This can be done via ServiceNow.