mirror of
				https://github.com/catchorg/Catch2.git
				synced 2025-10-30 19:57:10 +01:00 
			
		
		
		
	Minor fixup in updateVcpkgPackage.py
This commit is contained in:
		| @@ -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) | ||||
|   | ||||
		Reference in New Issue
	
	Block a user
	 Martin Hořeňovský
					Martin Hořeňovský