Skip to content

Publish local browser and sidebar updates to main - #68

Merged
Andresshamis merged 8 commits into
mainfrom
codex/publish-local-main
Jul 24, 2026
Merged

Publish local browser and sidebar updates to main#68
Andresshamis merged 8 commits into
mainfrom
codex/publish-local-main

Conversation

@Andresshamis

Copy link
Copy Markdown
Owner

Summary

Publish the validated local main commits that were ahead of the protected remote branch.

  • Fix website microphone capture and duplicate permission prompts.
  • Improve space-switching feedback and gestures.
  • Add browser passkey authorization support and its security documentation/tests.
  • Add repository agent guidance.
  • Prompt users to make Lumen the default browser.
  • Refine native macOS sidebar sizing and spacing, remove the requested separators, and make Essentials restore their captured pages.
  • Preserve the contributor external-link routing fix while resolving the protected-branch integration.

Validation

  • swift build
  • swift test — 441 tests passed with 0 failures
  • bash -n script/build_and_run.sh
  • git diff --check origin/main...HEAD

@Andresshamis
Andresshamis enabled auto-merge (squash) July 24, 2026 20:44
@Andresshamis
Andresshamis merged commit 3dbc86b into main Jul 24, 2026
1 check passed
@Andresshamis
Andresshamis deleted the codex/publish-local-main branch July 24, 2026 20:46
Andresshamis added a commit that referenced this pull request Jul 28, 2026
* Fix website microphone capture

* Fix duplicate website permission prompts

* Fix space switching feedback and gestures

* Add browser passkey authorization support

* Document repository agent conventions

* Prompt to make Lumen the default browser

* Improve sidebar layout and Essentials behavior

---------

Co-authored-by: Andres <[email protected]>
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