Merge pull request #135 from leanprover-community/ignore-hash

fix: remove & ignore `widget/package-lock.json.hash`

Author: kim-em

.gitignore

@@ -3,4 +3,5 @@
 /widget/dist
 /widget/node_modules
 /widget/*.log.json
+/widget/*.hash
 .direnv/