Skip to content

added alliander_robotics prefix for dev mounts#463

Merged
Jelmerdw merged 1 commit into
mainfrom
hotfix-dev-mounts
May 8, 2026
Merged

added alliander_robotics prefix for dev mounts#463
Jelmerdw merged 1 commit into
mainfrom
hotfix-dev-mounts

Conversation

@geurto
Copy link
Copy Markdown
Collaborator

@geurto geurto commented May 8, 2026

Description

This hotfix fixes the dev mounts for the new repo structure, such that source code etc. is updated live in the container. Also fixes a naming issue with seekthermal.

Fixes: #<issue_number>

Testing

Explain how you tested your changes.

Documentation

  • I have updated the documentation (if necessary)

Additional Notes

Any relevant screenshots, logs, or context.

Signed-off-by: Peter Geurts <peter.geurts@proton.me>
@geurto geurto requested a review from Jelmerdw May 8, 2026 13:05
@Jelmerdw Jelmerdw merged commit bb5519e into main May 8, 2026
14 checks passed
@Jelmerdw Jelmerdw deleted the hotfix-dev-mounts branch May 8, 2026 13:18
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.

2 participants