Code

git-gui: Setup branch.remote,merge for shorthand git-pull