Skip to content

[repo-assist] Clarify github-dependencies docs on file link vs paket-files storage - #4419

Merged
dsyme merged 1 commit into
masterfrom
repo-assist/docs-clarify-github-file-link-3719-a99400ab46fe9ca3
Sep 1, 2026
Merged

[repo-assist] Clarify github-dependencies docs on file link vs paket-files storage#4419
dsyme merged 1 commit into
masterfrom
repo-assist/docs-clarify-github-file-link-3719-a99400ab46fe9ca3

Conversation

@github-actions

Copy link
Copy Markdown
Contributor

🤖 This is an automated response from Repo Assist, an AI assistant.

Closes #3719 (as a documentation clarification).

Root cause

Issue #3719 reported that specifying a custom directory (e.g. .) in a paket.references File: entry seemed to be "ignored" because the downloaded file still appeared under paket-files on disk. As the maintainer clarified in the issue thread, this is expected: the file is always downloaded to and stored under paket-files (intended to be gitignored), and the custom directory only controls where the linked item appears inside the project (e.g. Visual Studio's Solution Explorer) — not where the file physically resides.

Fix

Updated docs/content/github-dependencies.md to explicitly state this distinction, so future readers don't run into the same confusion.

Trade-offs

Documentation-only change; no code or behavior changes.

Test Status

Not applicable — documentation-only change, no build or tests affected.

Generated by 🌈 Repo Assist, see workflow run. Learn more.
Comment /repo-assist to run again

Add this agentic workflow to your repo

To install this agentic workflow, run

gh aw add githubnext/agentics/workflows/repo-assist.md@ae8d551f07c7ed7619f8c58c7bb4c3ac89395d38

Addresses confusion in #3719 where the custom directory in a paket.references
'File:' entry was assumed to change where the downloaded file is stored on
disk. In reality the file always lives under paket-files (which is gitignored);
the directory only controls where the linked item appears inside the project.

Co-authored-by: Copilot <223556219+Copilot@users.noreply.github.com>
@dsyme
dsyme marked this pull request as ready for review September 1, 2026 15:48
@dsyme
dsyme merged commit 3b81b00 into master Sep 1, 2026
10 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Projects

None yet

Development

Successfully merging this pull request may close these issues.

Directory specified is ignored...?: paket.references: "File: xyz.txt ."

1 participant