mirror of
https://github.com/powerline/powerline.git
synced 2025-07-26 23:35:04 +02:00
Merge commit 'HEAD@{1}' into develop
This commit is contained in:
commit
58876504bc
@ -86,7 +86,8 @@ def merge(version_string, rev, **kwargs):
|
|||||||
'--strategy', 'recursive',
|
'--strategy', 'recursive',
|
||||||
'--strategy-option', 'theirs',
|
'--strategy-option', 'theirs',
|
||||||
'--commit',
|
'--commit',
|
||||||
'-m', 'Merge branch \'{0}\' into {1}'.format(temp_branch_name, rev)])
|
'-m', 'Merge branch \'{0}\' into {1}'.format(temp_branch_name, rev),
|
||||||
|
temp_branch_name])
|
||||||
check_call(['git', 'branch', '-d', temp_branch_name])
|
check_call(['git', 'branch', '-d', temp_branch_name])
|
||||||
|
|
||||||
rev = check_output(['git', 'rev-parse', 'HEAD']).strip()
|
rev = check_output(['git', 'rev-parse', 'HEAD']).strip()
|
||||||
|
Loading…
x
Reference in New Issue
Block a user