This is an automated email from the ASF dual-hosted git repository. miki3421 pushed a commit to branch 0.9.1 in repository https://gitbox.apache.org/repos/asf/openserverless-task.git
commit 4eb08ddddd9408d685523e92bd4330fd41c8c086 Merge: 3bcbcd2 1ba3a6c Author: miki3421 <[email protected]> AuthorDate: Sun Jul 12 11:43:01 2026 +0200 Merge pull request #212 from miki3421/agent/fix-ide-device-workspace Preserve explicit workspace in IDE device login ide/docopts.md | 1 + ide/opsfile.yml | 9 ++++++--- 2 files changed, 7 insertions(+), 3 deletions(-)
