check_git_status() when not exist /workspace (#1966)

This commit is contained in:
Glenn Jocher authored and GitHub committed 2021-01-17 11:55:25 -08:00
1 parent e8a41e8916
commit b26a2f6242
1 file changed
+1 -1
+1 -1
View File
@@ -60,7 +60,7 @@ def check_git_status():
# Recommend 'git pull' if code is out of date
print(colorstr('github: '), end='')
try:
if Path('.git').exists() and not Path('/.dockerenv').exists() and check_online():
if Path('.git').exists() and not Path('/workspace').exists() and check_online(): # not exist '/.dockerenv'
url = subprocess.check_output(
'git fetch && git config --get remote.origin.url', shell=True).decode('utf-8')[:-1]
n = int(subprocess.check_output(