mirror of
https://github.com/microsoft/vscode.git
synced 2026-05-16 05:11:14 +01:00
e3829dc247
Add 'prune' option to fetch in git extension API Add overload to fetch to pass options