use "git config --edit" instead of manually launched editor
commitcf11fc74331a4e9c5b7e100bae09e5d61534cedc
authorMax Kirillov <max@max630.net>
Sun, 14 Aug 2016 05:44:24 +0000 (14 08:44 +0300)
committerMax Kirillov <max@max630.net>
Sun, 14 Aug 2016 05:44:24 +0000 (14 08:44 +0300)
tree56fe3cf6f392b6b4e8e5dc01050adb2a48590a7a
parent32179e572a1d3bf7d964b1a16cccaa8991bf1c18
use "git config --edit" instead of manually launched editor

This fix is intended for Windows. Because GIT_EDITOR variable and GIT_DIR
are both adapted for unix environment, it is tricky to recover from them
command line to run editor from native Windows application.

Fix it by using git to run the editor itself.

Downside is that if there is dedicated `sequence.editor` value different
from commit message editor it would not be user. I think it is
not important.
app/Rehi.hs
itest.pl