diff options
| author | Martin Hořeňovský | 2017-05-16 14:34:55 +0200 |
|---|---|---|
| committer | Martin Hořeňovský | 2017-05-16 14:34:55 +0200 |
| commit | df5cf2d32347e52afb994623e32c65d2076db6a2 (patch) | |
| tree | 31d8dd23a611ef803fe3184b724bf8342e2676b5 /scripts | |
| parent | b62c0256b26d0f0cf723a1854bbc41a77aa5bcf2 (diff) | |
| download | catch3-df5cf2d32347e52afb994623e32c65d2076db6a2.tar.gz | |
Minor fixup in updateVcpkgPackage.py
Diffstat (limited to 'scripts')
| -rw-r--r-- | scripts/updateVcpkgPackage.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/scripts/updateVcpkgPackage.py b/scripts/updateVcpkgPackage.py index 299e9f3b..a7c8dee6 100644 --- a/scripts/updateVcpkgPackage.py +++ b/scripts/updateVcpkgPackage.py @@ -96,6 +96,7 @@ def git_push(path_to_repo): # Update repo to current master, so we don't work off old version of the portsfile subprocess.call('git pull Microsoft master', shell=True) + subprocess.call('git push', shell=True) # Create a new branch for the update subprocess.call('git checkout -b catch-{}'.format(ver_string), shell=True) |