New Gerrit servers, some practical details

android

https://groups.google.com/forum/#!topic/android-contrib/c5jYJzXCMGs/discussion