am f4554e79: am 40ad715f: am 7fc13d7a: am 1cad9512: Merge "Fix repo script to ignore tools"

* commit 'f4554e79e0fa2a5b09e636fe5b1765c318d79ce5':
  Fix repo script to ignore tools