Skip to content

Fix pull problems#201

Open
dkhofer wants to merge 3 commits into
mainfrom
fix-pull-problems
Open

Fix pull problems#201
dkhofer wants to merge 3 commits into
mainfrom
fix-pull-problems

Conversation

@dkhofer

@dkhofer dkhofer commented Jun 25, 2026

Copy link
Copy Markdown
Member

This fixes a couple issues. The main one is that files weren't getting manifested when downloading from a remote server (like genhub). It was working locally because the code path is different when the backend is running locally.

The other fix is for a second issue, that annotation asset files weren't being downloaded at all.

@dkhofer dkhofer force-pushed the fix-pull-problems branch from f716038 to a275dde Compare June 26, 2026 19:17
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