|
|
@@ -35,9 +35,8 @@ function pullGitRepository(repositoryUrl, localPath) {
|
|
|
// 路径已存在则拉取最新代码
|
|
|
console.log(`Pull ${repositoryUrl} to ${localPath}...`);
|
|
|
|
|
|
- if(!checkEditFileRep(localPath)) {
|
|
|
- return;
|
|
|
- }
|
|
|
+ // 只检查 并提示 仍然尝试 Pull 操作
|
|
|
+ checkEditFileRep(localPath);
|
|
|
|
|
|
child_process.exec("git pull", localPath, (error, stdout, stderr) => {
|
|
|
totalGitRepPath.delete(localPath);
|