tree c655e5871a6763640e456487a3bbfb4847aa909e
parent 48f5ae2fdce2aa8b0ec34c165eac0d7f54386f8b
author stuartmorgan <stuartmorgan@google.com> 1625248047 -0700
committer GitHub <noreply@github.com> 1625248047 -0700
gpgsig -----BEGIN PGP SIGNATURE-----
 
 wsBcBAABCAAQBQJg31EvCRBK7hj4Ov3rIwAAd48IAISTl2EMQS31pz6uw0htdjfz
 4vfCJteYk3C1iY+2Wynq4jzmMoJllI2Ps560PuRNrEL1Frskpbk9i1OYLVQRWAMv
 YBJgAgm3uCf5y0WFpzR/lI+wQtG8Kxb8xPXI6QTo56GTF33rjeOrjxNrUNqtovma
 OZSVJhFsv8nDmuWUbUzDLIC4xHuoJ4vt9g/BZnlKusaxbuS7QtagEda9XEq9Born
 trx+WTcT4vMb7gJ2LbZfjqRNeZxyZV/aNmd9Lwl2MV43FeMaIrvkKXElHl4qNQoQ
 nKTzTlhxR1GgRpWiO3wvEGaKJfSR7AkZS9gyFCJthkkjpobeD52ixx0MkyEp8LA=
 =u99+
 -----END PGP SIGNATURE-----
 

Replace 'pub' with 'dart pub' in CI scripts (#401)

Bare use of 'pub' is deprecated.

Also updates the pinned repo tool version, since some uses of 'pub' have
been fixed there.