With a git source configured in paket.dependencies (like this) and a local repository that uses a git worktree workflow (like this) and paket in magic mode:
'paket restore' sometimes changes the remote URL configured in .gitconfig to the URL of the configured source from paket.dependencies.
This renders the repository unusable until manual correction of the URL.
Repro steps
Unfortunately, I cannot reproduce this reliably.
Expected behavior
'paket restore' should not change the .gitconfig-file of the project you are working on.
Actual behavior
'paket restore' changes the .gitconfig-file of the project you are working on.
Known workarounds
Somentimes this issue can be fixed by cloning a new copy of the repository. But this is as unreliable as trying to reproduce the problem.
Description
With a git source configured in paket.dependencies (like this) and a local repository that uses a git worktree workflow (like this) and paket in magic mode: 'paket restore' sometimes changes the remote URL configured in .gitconfig to the URL of the configured source from paket.dependencies. This renders the repository unusable until manual correction of the URL.
Repro steps
Unfortunately, I cannot reproduce this reliably.
Expected behavior
'paket restore' should not change the .gitconfig-file of the project you are working on.
Actual behavior
'paket restore' changes the .gitconfig-file of the project you are working on.
Known workarounds
Somentimes this issue can be fixed by cloning a new copy of the repository. But this is as unreliable as trying to reproduce the problem.