git config --local …. [core]
repositoryformatversion = 0
filemode = true
bare = false
logalrepdates = true
symlinks = false
ignorecase = true
[remote "origin"]
# See
# - git remote and
# - Effects of git clone on the .git/config file
url = https://github.com/…/…
fetch = +refs/heads/*:refs/remotes/origin/*
[branch "master"]
remote = origin
merge = refs/heads/master
[credential]
helper = store