changeset 194:12d610e73ee6

Stop Git bullshit on Windows too.
author Ludovic Chabant <ludovic@chabant.com>
date Wed, 23 Jul 2014 16:58:15 -0700
parents ae53d68033d9
children 643370d3d382
files build/stop_git_bullshit.cmd
diffstat 1 files changed, 3 insertions(+), 0 deletions(-) [+]
line wrap: on
line diff
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build/stop_git_bullshit.cmd	Wed Jul 23 16:58:15 2014 -0700
@@ -0,0 +1,3 @@
+@echo off
+hg onsub -t git "git reset --hard origin/master"
+