GitHub repository: wavecomp/git-repo
Primary language: Python
Created: 2017-09-07T02:27:46Z
Description: Android repo tool enhanced with a new "repo push" command, and repository actions always ordered the same as in the manifest.