mirror of
https://github.com/microsoft/vscode.git
synced 2026-07-10 00:35:30 +01:00
e3829dc247
Add 'prune' option to fetch in git extension API Add overload to fetch to pass options