Adding a new branch

When a new branch has been added into SVN repo, a corresponding Git branch must be created and set up for tracking.

• in .git/config, temporarily put the following into [svn-remote "svn"]

[svn-remote "svn"]
        url = https://v8.googlecode.com/svn
        fetch = 3.11:refs/remotes/branches/3.11
        branches = branches/{3.11}:refs/remotes/branches/*

• do git svn fetch (takes awhile as usual); ! Try specifying "-r" closely before the branch point !
• restore .git/config;
• in .git/config, add the new branch (in the list of branches, and a section);
• create a git branch for tracking: git branch --track 3.11 refs/remotes/branches/3.11; if this fails, do git checkout remotes/branches/3.11 && git branch 3.11;
• add the new branch into the list in update.sh script.