mirror of
https://github.com/powerline/powerline.git
synced 2025-04-08 19:25:04 +02:00
Merge branch 'powerline-release-forcepush' into develop
This commit is contained in:
commit
3fc8135835
@ -151,7 +151,7 @@ def create_ebuilds(version_string, overlay, user, **kwargs):
|
||||
check_call(['git', 'add', '--'] + new_files, cwd=overlay)
|
||||
check_call(['git', 'commit'] + new_files + ['-m', 'powerline*: Release {0}'.format(version_string)],
|
||||
cwd=overlay)
|
||||
check_call(['git', 'push', 'git@github.com:{0}/{1}'.format(user, OVERLAY_NAME), branch], cwd=overlay)
|
||||
check_call(['git', 'push', '-f', 'git@github.com:{0}/{1}'.format(user, OVERLAY_NAME), branch], cwd=overlay)
|
||||
|
||||
|
||||
def update_overlay(version_string, user, password, **kwargs):
|
||||
|
Loading…
x
Reference in New Issue
Block a user