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

* commit '7fc13d7ad63eb0fad3d30b4b909baca6651ee303':
  Fix repo script to ignore tools