tree 47daf94b92327e788cc0208f962ac78e2c4e1e97
parent 8cc810a85ccca906a2aa4dceffe2527f912a2fcb
author Søren Gjesse <sgjesse@google.com> 1656059827 +0200
committer Søren Gjesse <sgjesse@google.com> 1656059827 +0200

Fix bot trigger script

Change-Id: I1ef75e15447f5879031ebb0054574ffbb467762a