andy/CodeNavigator
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Pull shared-link repositories visibly and handle private ones

Browse Source 
Opening a shared link now says what is happening: if the repository
isn't loaded in the tab, a card explains it is being pulled from GitHub
and where you'll be taken, the progress keeps that framing, and once it
is built the camera flies to the linked position (walk and fly views
start from the helicopter's eye) with the file selected. A link to the
repository already open goes straight there, including links pasted
into an open tab (hashchange), without re-cloning.

If the clone needs GitHub access, a warning explains the link points to
a private repository and access has expired or isn't set up on this
device, with Sign in (or Grant access). The pending link survives the
sign-in round trip and continues automatically afterwards. Pending
links are dropped on other failures or when a different repository is
opened by hand. City guide updated.
This commit is contained in:
Andy Dixon
2026-08-23 12:01:31 +01:00
parent d7318acede
commit b07095d789
2 changed files with 72 additions and 12 deletions
Download Patch File Download Diff File Expand all files Collapse all files
docs/CITY.md
+12 -2
View File
@@ -56,8 +56,18 @@ to everything it imports and from everything that imports it. With a file select
- **Tour (`T`)**: flies over the six largest districts with captions, and stops as soon as you
touch anything.
- **Copy link**: copies a URL with the repository, view, camera position and selected file.
Opening it loads the repository and puts you in the same spot. Links work for GitHub
repositories only.
Links work for GitHub repositories only.
Opening a shared link:
- **Repository already open in this tab:** you fly straight to the spot, and the file is selected.
- **Repository not loaded here:** a card says it's being pulled from GitHub and indexed. Once it's
built, you're flown to the saved camera position and the file is selected.
- **Private repository you can't access** (not signed in on this device, or your GitHub access has
expired): you get a warning with a **Sign in with GitHub** button. After signing in, the link
carries on by itself to the shared spot.
- **Private repository the GitHub App can't see:** the warning offers **Grant repository access**
instead.
## Settings