Skip to content

Preserve explicit workspace in IDE device login#212

Merged
miki3421 merged 1 commit into
apache:0.9.1from
miki3421:agent/fix-ide-device-workspace
Jul 12, 2026
Merged

Preserve explicit workspace in IDE device login#212
miki3421 merged 1 commit into
apache:0.9.1from
miki3421:agent/fix-ide-device-workspace

Conversation

@miki3421

Copy link
Copy Markdown
Contributor

Summary

  • keep ops ide login namespace-free for backend-managed SSO device flow when no username is supplied
  • preserve and forward an explicit ops ide login workspace to the CLI
  • document that omitting lets the authenticated identity determine the namespace

Root cause

The device-flow branch cleared OPSDEV_USERNAME before checking the positional . This prevented stale persisted state from being forwarded, but it also discarded a workspace explicitly supplied by the user. In addition, the nested CLI process reloads persisted config, so environment-only clearing cannot reliably express whether a workspace was intentional.

The task now invokes the CLI with no positional user for implicit device login and with the positional user when one was explicitly selected. The companion CLI fix gives this argument precedence over persisted environment values.

Companion PR: apache/openserverless-cli#42

Validation

  • task --taskfile ide/opsfile.yml --list
  • isolated task invocation with stale OPS_USER=nuvolaris and OPSDEV_USERNAME=nuvolaris: captured CLI arguments are only -login
  • isolated ops ide login michelem: captured CLI arguments are -login michelem
  • git diff --check

The admin-api authenticated-namespace mismatch check is not changed or bypassed.

@miki3421
miki3421 marked this pull request as ready for review July 12, 2026 09:42
@miki3421
miki3421 merged commit 4eb08dd into apache:0.9.1 Jul 12, 2026
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.

1 participant