2017-10-28 10:18:16 +08:00
|
|
|
from get_general_settings import *
|
|
|
|
|
|
2017-11-07 12:53:31 +08:00
|
|
|
import os
|
2017-11-11 13:54:19 +08:00
|
|
|
import pygit2
|
2017-11-07 12:53:31 +08:00
|
|
|
|
2017-11-14 22:38:34 +08:00
|
|
|
current_working_directory = os.path.dirname(__file__)
|
2017-11-11 13:54:19 +08:00
|
|
|
repository_path = pygit2.discover_repository(current_working_directory)
|
|
|
|
|
local_repo = pygit2.Repository(repository_path)
|
2017-11-07 13:11:42 +08:00
|
|
|
|
2017-11-11 13:54:19 +08:00
|
|
|
def check_and_apply_update(repo=local_repo, remote_name='origin'):
|
|
|
|
|
for remote in repo.remotes:
|
|
|
|
|
if remote.name == remote_name:
|
|
|
|
|
remote.fetch()
|
|
|
|
|
remote_id = repo.lookup_reference('refs/remotes/origin/' + branch).target
|
|
|
|
|
merge_result, _ = repo.merge_analysis(remote_id)
|
|
|
|
|
# Up to date, do nothing
|
|
|
|
|
if merge_result & pygit2.GIT_MERGE_ANALYSIS_UP_TO_DATE:
|
|
|
|
|
print 'Up to date'
|
|
|
|
|
return
|
|
|
|
|
# We can just fastforward
|
|
|
|
|
elif merge_result & pygit2.GIT_MERGE_ANALYSIS_FASTFORWARD:
|
|
|
|
|
repo.checkout_tree(repo.get(remote_id))
|
|
|
|
|
master_ref = repo.lookup_reference('refs/heads/master')
|
|
|
|
|
master_ref.set_target(remote_id)
|
|
|
|
|
repo.head.set_target(remote_id)
|
|
|
|
|
else:
|
|
|
|
|
raise AssertionError('Unknown merge analysis result')
|
