configure git so that “git pull” instead of “git pull origin master”?

June 1, 2023 by Tarik

try:

[branch "master"]
    remote = origin
    merge = refs/heads/master