Paket Push doesn't offer a way to specify an alternate symbol server
Open
Nobody has claimed this yet.
cli
enhancement
push
up-for-grabs
- Dominant language
- F#
- Stars
- 2.1k
- Forks
- 528
- Avg merge
- 1d 12m
- Merged PRs (30d)
- 54
Description
[low priority]
Given that a different server is used when pushing symbol vs. regular nuget packages, we need to be able to override that URL as well as the default. We don't want to push nightly symbols to symbolsource.org when the main packages are only going to MyGet.
Contributor guide
No contributing guide indexed for this repository
First steps
- Read the whole issue, then the project's contributing guide.
- Comment on the issue to say you are picking it up — it saves two people doing the same work.
- Fork the repository and make your change on a branch.
- Open a pull request that references the issue number.
Research direction
No file, test, or entry point is named. Start by locating the Paket Push command and how it configures the regular package source, then trace its symbol-server handling. Done means users can provide a separate symbol-server URL without changing the default package destination, with coverage for the new configuration.
Written by the indexing model from the issue text.
Assessment
- Tech stack
- fsharp
- Domain
- cli, tooling
- Issue type
- Feature
- Difficulty
- 3/5
- Estimated time
- 1-2 days
- Activity status
- Stale
- Clarity
- Mostly clear
- Newbie friendliness
- 35/100