Merge branch 'master' of github.com:gorhill/uBlock into nextdev

This commit is contained in:
Raymond Hill 2019-01-01 13:25:26 -05:00
commit 521b333a25
No known key found for this signature in database
GPG key ID: 25E1490B761470C2

View file

@ -297,7 +297,7 @@ with open(updates_json_filepath) as f:
r = subprocess.run(['git', 'status', '-s', updates_json_filepath], stdout=subprocess.PIPE) r = subprocess.run(['git', 'status', '-s', updates_json_filepath], stdout=subprocess.PIPE)
rout = bytes.decode(r.stdout).strip() rout = bytes.decode(r.stdout).strip()
if len(rout) >= 2 and rout[0] == 'M': if len(rout) >= 2 and rout[0] == 'M':
subprocess.run(['git', 'commit', '-m', 'make Firefox dev build auto-update', updates_json_filepath]) subprocess.run(['git', 'commit', '-m', 'Make Firefox dev build auto-update', updates_json_filepath])
subprocess.run(['git', 'push', 'origin', 'master']) subprocess.run(['git', 'push', 'origin', 'HEAD'])
print('All done.') print('All done.')