diff build/stop_git_bullshit.cmd @ 194:12d610e73ee6

Stop Git bullshit on Windows too.
author Ludovic Chabant <ludovic@chabant.com>
date Wed, 23 Jul 2014 16:58:15 -0700
parents
children
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"
+