config: teach "git config --file -" to read from the standard input