fixed editing of .git/config-file with separate-git-dir