From 7c536876ce51299ee427051c9627be41d8470a71 Mon Sep 17 00:00:00 2001 From: bunsenstraat Date: Tue, 14 Nov 2023 08:41:50 +0300 Subject: [PATCH] fix fetch --- apps/remix-ide/src/app/files/dgitProvider.js | 11 ++++++++++- 1 file changed, 10 insertions(+), 1 deletion(-) diff --git a/apps/remix-ide/src/app/files/dgitProvider.js b/apps/remix-ide/src/app/files/dgitProvider.js index 1a592c1ee1..40c0cb1b6c 100644 --- a/apps/remix-ide/src/app/files/dgitProvider.js +++ b/apps/remix-ide/src/app/files/dgitProvider.js @@ -355,7 +355,7 @@ class DGitProvider extends Plugin { const cmd = { url: module.url, singleBranch: true, - depth: 5000, // this is needed because we need the history to find the commit hash + depth: 1, ...await this.parseInput(input), ...await this.getGitConfig(dir) } @@ -379,10 +379,19 @@ class DGitProvider extends Plugin { }) if(result && result.length) { this.call('terminal', 'logHtml', `Checking out submodule ${dir} to ${result[0]} in directory ${dir}`) + await git.fetch({ + ...await this.parseInput(input), + ...await this.getGitConfig(dir), + singleBranch: true, + ref: result[0] + }) + + await git.checkout({ ...await this.getGitConfig(dir), ref: result[0] }) + this.call('terminal', 'logHtml',`Checked out submodule ${dir} to ${result[0]}`) }