Android版的master和getui的区别是什么，是不是和后面push_server的master和getui分支对应，如果我push_server选getui分支，那么Android版也必须选getui的