tree 445484c0b29258b9cbe181496c3d212559418de3
parent ca7b5abba0858da90ee7c4ac0cb10a720a50338d
author Ole Rehmsen <oler@google.com> 1558013234 +0200
committer Ole Rehmsen <oler@google.com> 1560842580 +0200

Simplify installing / running polylint

Install it locally (to avoid version clashes) and then run it with npx (which
finds the locally installed package even when it's not on the path).

Change-Id: I65e35042ae49b9fb0bbe6fd6fba723f8edda8584