Skip to content

Fix grace connect end-to-end (bootstrap config + real download + version selection)#49

Merged
ScottArbeit merged 24 commits intomainfrom
fix/grace-connect
Jan 9, 2026
Merged

Fix grace connect end-to-end (bootstrap config + real download + version selection)#49
ScottArbeit merged 24 commits intomainfrom
fix/grace-connect

Conversation

@ScottArbeit
Copy link
Owner

Resolves #48.

@ScottArbeit ScottArbeit merged commit fcd5a29 into main Jan 9, 2026
1 check passed
@ScottArbeit ScottArbeit deleted the fix/grace-connect branch January 9, 2026 10:59
Copy link

@chatgpt-codex-connector chatgpt-codex-connector bot left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

💡 Codex Review

Here are some automated review suggestions for this pull request.

Reviewed commit: 2b98568e8e

ℹ️ About Codex in GitHub

Your team has set up Codex to review pull requests in this repo. Reviews are triggered when you

  • Open a pull request for review
  • Mark a draft as ready
  • Comment "@codex review".

If Codex has suggestions, it will comment; otherwise it will react with 👍.

Codex can also answer questions or update the PR. Try commenting "@codex address that feedback".

Comment on lines +113 to +116
let private tryGetOidcCliConfigFromServer (correlationId: string) =
task {
match tryGetEnv Constants.EnvironmentVariables.GraceServerUri with
| None -> return Ok None

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

P2 Badge Fall back to config ServerUri when fetching OIDC config

The new server-based OIDC lookup bails out if GRACE_SERVER_URI is not set (tryGetOidcCliConfigFromServer returns Ok None). That means a typical flow like grace connect --server-address ... (which writes ServerUri into graceconfig.json but does not set the env var) will still fail grace auth login with “Authentication is not configured,” even though the server can supply the OIDC config. This is a regression for the intended “connect end-to-end” flow because users will have to manually set GRACE_SERVER_URI to make the new server-based config path work. Consider falling back to Current().ServerUri (and/or updating Grace.SDK.Auth.getOidcClientConfig to use it) when the env var is absent.

Useful? React with 👍 / 👎.

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.

Fix grace connect end-to-end (bootstrap config + real download + version selection)

1 participant