view build/stop_git_bullshit.cmd @ 448:cc00cbbf5460

Rename evolve extension's repo folder to `evolve`.
author Ludovic Chabant <ludovic@chabant.com>
date Mon, 12 Nov 2018 13:46:29 -0800
parents 12d610e73ee6
children
line wrap: on
line source

@echo off
hg onsub -t git "git reset --hard origin/master"