Spaces:
Runtime error
Runtime error
import os | |
import sys | |
from pathlib import Path | |
root = Path(__file__).resolve().parent | |
sys.path.append(str(root)) | |
os.chdir(root) | |
offline = os.environ.get("RF_OFFLINE") == "1" or "--offline" in sys.argv | |
if not offline: | |
bupdated = False | |
try: | |
import pygit2 | |
pygit2.option(pygit2.GIT_OPT_SET_OWNER_VALIDATION, 0) | |
repo_path = Path(__file__).resolve().parent | |
repo = pygit2.Repository(str(repo_path)) | |
branch_name = repo.head.shorthand | |
remote_name = "origin" | |
remote = repo.remotes[remote_name] | |
remote.fetch() | |
local_branch_ref = f"refs/heads/{branch_name}" | |
local_branch = repo.lookup_reference(local_branch_ref) | |
remote_reference = f"refs/remotes/{remote_name}/{branch_name}" | |
remote_commit = repo.revparse_single(remote_reference) | |
merge_result, _ = repo.merge_analysis(remote_commit.id) | |
if merge_result & pygit2.GIT_MERGE_ANALYSIS_UP_TO_DATE: | |
print("You have the latest version") | |
elif merge_result & pygit2.GIT_MERGE_ANALYSIS_FASTFORWARD: | |
local_branch.set_target(remote_commit.id) | |
repo.head.set_target(remote_commit.id) | |
repo.checkout_tree(repo.get(remote_commit.id)) | |
repo.reset(local_branch.target, pygit2.GIT_RESET_HARD) | |
print("Updating Files") | |
bupdated = True | |
elif merge_result & pygit2.GIT_MERGE_ANALYSIS_NORMAL: | |
print("Update failed, Did you modify any files?") | |
except Exception as e: | |
print("Update failed...") | |
print(str(e)) | |
if bupdated: | |
print("Update succeeded!!") | |
else: | |
print("Offline mode. No update.") | |
from launch import * | |