For Android repo tool. Obsolete.