Git mirror of the hg opendatakit.playlicensing repository