mirror of
https://github.com/microsoft/vscode.git
synced 2026-06-03 06:04:37 +01:00
e3829dc247
Add 'prune' option to fetch in git extension API Add overload to fetch to pass options