Re: [PATCH] Multiple refs from the same remote in one git fetch
From: Michael S. Tsirkin <hidden> Date: 2016-06-15 22:42:37
Quoting r. Jakub Narebski [off-list ref]:
Have only "Pull: master:linus_master" as the pull line, and make origin
symlink (ln -s $GIT_DIR/refs/heads/linus_master $GIT_DIR/refs/heads/origin)
or symref (echo "ref: refs/heads/linus_master" > $GIT_DIR/refs/heads/origin)
or vice versa.