Spaces:
Build error
Build error
Commit
·
424ffa3
1
Parent(s):
e7d9fe4
Update app.py
Browse files
app.py
CHANGED
@@ -186,7 +186,7 @@ def update(user_choice, left, right, choose_env, data_folder=VIDEO_PATH, flag_to
|
|
186 |
try:
|
187 |
repo.push_to_hub(commit_message=f"Flagged sample at {current_time}")
|
188 |
except:
|
189 |
-
repo.git_pull(lfs=
|
190 |
repo.push_to_hub(commit_message=f"Flagged sample at {current_time}")
|
191 |
if choose_env == 'Random' or choose_env == '': # random or no selection
|
192 |
envs = get_env_names()
|
|
|
186 |
try:
|
187 |
repo.push_to_hub(commit_message=f"Flagged sample at {current_time}")
|
188 |
except:
|
189 |
+
repo.git_pull(lfs=False) # sync with remote first
|
190 |
repo.push_to_hub(commit_message=f"Flagged sample at {current_time}")
|
191 |
if choose_env == 'Random' or choose_env == '': # random or no selection
|
192 |
envs = get_env_names()
|