Spaces:
Configuration error
Configuration error
import os | |
import sys | |
root = os.path.dirname(os.path.abspath(__file__)) | |
sys.path.append(root) | |
os.chdir(root) | |
try: | |
import pygit2 | |
pygit2.option(pygit2.GIT_OPT_SET_OWNER_VALIDATION, 0) | |
repo = pygit2.Repository(os.path.abspath(os.path.dirname(__file__))) | |
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("Already up-to-date") | |
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("Fast-forward merge") | |
elif merge_result & pygit2.GIT_MERGE_ANALYSIS_NORMAL: | |
print("Update failed - Did you modify any file?") | |
except Exception as e: | |
print('Update failed.') | |
print(str(e)) | |
print('Update succeeded.') | |
from launch import * | |