mirrors/kitty
1
0
Fork 0
mirror of https://github.com/kovidgoyal/kitty synced 2026-06-06 01:05:48 +02:00
Code Issues Packages Projects Releases Wiki Activity

Rebuild before and after publishing if a branch change was needed

Browse Source 
Sometimes branches break things
This commit is contained in:
Kovid Goyal
2022-07-16 10:18:05 +05:30
parent 32588939ae
commit d6ffbf4f3c
1 changed files with 2 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
publish.py
View File

@@ -450,11 +450,13 @@ def change_to_git_master() -> Generator[None, None, None]:
branch_before = current_branch()
if branch_before != 'master':
subprocess.check_call(['git', 'switch', 'master'])
subprocess.check_call(['make', 'debug'])
try:
yield
finally:
if branch_before != 'master':
subprocess.check_call(['git', 'switch', branch_before])
subprocess.check_call(['make', 'debug'])
finally:
if stash_ref_before != safe_read('.git/refs/stash'):
subprocess.check_call(['git', 'stash', 'pop'])