# HG changeset patch
# User Ludovic Chabant <ludovic@chabant.com>
# Date 1392694340 28800
# Node ID e7db039af5405e67ffa3b0944adb5d256a8b1dd2
# Parent  43c4c67470e3a63fe0cd384c7b94c73faa358380
Stop Git bullshit. Really, this is ridiculous.

diff -r 43c4c67470e3 -r e7db039af540 build/stop_git_bullshit.sh
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/build/stop_git_bullshit.sh	Mon Feb 17 19:32:20 2014 -0800
@@ -0,0 +1,3 @@
+#!/bin/sh
+hg onsub -t git "git reset --hard origin/master"
+