Add the good default options as recommended by GitHub. Helps to work around issues when using hybrid environments like the Bash On Windows (see #4228).
