hi, just as a heads up, this post announces that google has android git servers up again and tells how to use them: https://groups.google.com/group/android-building/msg/c73c14f9b0dcd15a?pli=1 Stefan