chiark / gitweb /
Don't git reset if nothing is to be done
authorDaniel Martí <mvdan@mvdan.cc>
Mon, 17 Feb 2014 07:26:29 +0000 (08:26 +0100)
committerDaniel Martí <mvdan@mvdan.cc>
Mon, 17 Feb 2014 07:26:29 +0000 (08:26 +0100)
commit517ce3a274bd74b0291cd7c7253246a06d7f0c29
treeef3a1b859dca067917a75c5d518e354ca6989c91
parent898e4485c2ab696c284917d3fc8fafaa29445197
Don't git reset if nothing is to be done
fd-commit