annotate build/stop_git_bullshit.cmd @ 416:222b477ad678

Install script improvements. - Support a local script that adds more installs. - Add `--force` flag to force certain things.
author Ludovic Chabant <ludovic@chabant.com>
date Fri, 19 Jan 2018 09:19:34 -0800
parents 12d610e73ee6
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
194
12d610e73ee6 Stop Git bullshit on Windows too.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
1 @echo off
12d610e73ee6 Stop Git bullshit on Windows too.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
2 hg onsub -t git "git reset --hard origin/master"
12d610e73ee6 Stop Git bullshit on Windows too.
Ludovic Chabant <ludovic@chabant.com>
parents:
diff changeset
3