| 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 * |
|
|