Android R Beta 3
Merge "repo_pull: Automatically extract gerrit instance from `repo manifest`"