Re: [PATCH] Per branch properties for pull and fetch

The current default is to always use the remote's master branch, right?

No.

For .git/remotes/ remotes it defaults to the first Pull line.
For .git/branches/ remotes if defaults to master, but you can specify
another branch.

Santi