contrib/editmergeps.bat
author Pierre-Yves David <pierre-yves.david@octobus.net>
Sat, 27 May 2017 22:27:09 +0200
changeset 32636 da5cf8cc5aad
parent 32567 4b9b87930cb3
permissions -rw-r--r--
test: add a push race case where the raced push touch multiple heads We check case where the raced push update all heads while the racing push update one of them.

@echo off
powershell -NoProfile -ExecutionPolicy unrestricted -Command "& '%~dp0\editmergeps.ps1' %*"