Add blink header-only repo mapping for iOS

svn_to_git_public.py

Index: svn_to_git_public.py
diff --git a/svn_to_git_public.py b/svn_to_git_public.py
index f9bbc63ed9acab92b6d3d69a78e64ada437a6439..25f546195dfe45d1a0b1111c7553e452d968124c 100755
--- a/svn_to_git_public.py
+++ b/svn_to_git_public.py
@@ -121,6 +121,10 @@ def SvnUrlToGitUrl(path, svn_url):
     repo = '%s.git' % match.group(1)
     return (path, GIT_HOST + 'chromium/%s' % repo)
 
+  # Public-header-only blink directory for iOS.
+  if svn_url == (BLINK_TRUNK + '/public'):
+    return (path, GIT_HOST + 'chromium/blink-public.git')
+
   # Main blink directory.
   if svn_url == BLINK_TRUNK:
     return (path, GIT_HOST + 'chromium/blink.git')