Skip to content

Add one-click "Add mapping" button on GitHub repo pages#20

Merged
tzachbaksis merged 1 commit into
mainfrom
feat/add-mapping-button
Mar 1, 2026
Merged

Add one-click "Add mapping" button on GitHub repo pages#20
tzachbaksis merged 1 commit into
mainfrom
feat/add-mapping-button

Conversation

@tzachbaksis
Copy link
Copy Markdown
Owner

Summary

  • Injects an "Add mapping" button next to the repo name in GitHub's header when no mapping is configured for the current repo
  • Clicking the button saves a mapping stub (org/repo with empty local path) and opens the extension popup with the local path input auto-focused
  • Guards blob.ts and files-changed.ts against empty localPath to prevent broken IDE buttons when only a stub mapping exists

Test plan

  • Visit a GitHub repo with no mapping configured → "Add mapping" button appears next to the repo name
  • Click the button → popup opens with the new mapping's local path input focused
  • Fill in the local path and save → IDE buttons appear on file pages
  • Visit a repo that already has a mapping → no "Add mapping" button appears
  • Remove a mapping → "Add mapping" button reappears on next page load

Injects a small button next to the repo name when no mapping exists.
Clicking it saves a mapping stub and opens the extension popup with
the local path input focused so the user can complete the setup.
@tzachbaksis tzachbaksis merged commit 52363c5 into main Mar 1, 2026
1 check passed
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