Martin Waitz [off-list ref] wrote:
The current default is to always use the remote's master branch, right?
What do others think: does it make sense to default to the same
branchname on the remote side?
I like the separate-remote option too and having one simple command
that pulls the changes from the correct remote branch would be nice.
It should do something like
$ git pull ${1:-origin} $(git-symbolic-ref HEAD | cut -d / -f 3-)