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 - : send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html