Excellent! I've been annoyed by that bug a number of times. The Repo
tool is hosted at review.source.android.com, so register an account
there, have your corporate contributor agreement approved, and push
your commit for review. The code itself can be cloned from
git://android.git.kernel.org/tools/repo.
--
Magnus Bäck Opinions are my own and do not necessarily
SW Configuration Manager represent the ones of my employer, etc.
Sony Ericsson