mirrors/electron
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages 1 Wiki Activity Actions 1

chore: save HEAD when git-import-patches runs (#17824)

Browse source
This commit is contained in:
Jeremy Apthorp 2019-04-17 11:16:03 -07:00 • committed by GitHub
parent f901170a4f
commit fdaa75354a
No known key found for this signature in database
GPG key ID: 4AEE18F83AFDEB23
3 changed files with 41 additions and 8 deletions
Download patch file Download diff file Expand all files Collapse all files

6
script/lib/git.py
View file

@ -102,6 +102,12 @@ def get_head_commit(repo):
return subprocess.check_output(args).strip()
def update_ref(repo, ref, newvalue):
args = ['git', '-C', repo, 'update-ref', ref, newvalue]
return subprocess.check_call(args)
def reset(repo):
args = ['git', '-C', repo, 'reset']