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

* commit '1cad951295f4b7bbd6edd8c1c5c7a791f7078033':
  Fix repo script to ignore tools