# HG changeset patch
# User HackBot
# Date 1457306015 0
# Node ID cb4362e289d4f09228e5fadd313c263e3daf784a
# Parent  d3c2f93eeb2a48e38c17554808a5f2a1c7892dfd
<b_jonas> `` echo $\'#!/bin/sh\\nexec git checkout HEAD^ .\\n\' > bin/revert

diff -r d3c2f93eeb2a -r cb4362e289d4 bin/revert
--- a/bin/revert	Sun Mar 06 23:10:42 2016 +0000
+++ b/bin/revert	Sun Mar 06 23:13:35 2016 +0000
@@ -1,3 +1,3 @@
 #!/bin/sh
-exec git revert --no-commit HEAD
+exec git checkout HEAD^ .