Pier Angelo Vendrame pushed to branch tor-browser-145.0a1-16.0-1 at The Tor Project / Applications / Tor Browser Commits: dc87c9ff by Beatriz Rizental at 2025-11-26T09:06:57-03:00 fixup! BB 42728: Modify ./mach lint to skip unused linters - - - - - 1 changed file: - python/mozlint/mozlint/cli.py Changes: ===================================== python/mozlint/mozlint/cli.py ===================================== @@ -33,6 +33,7 @@ INACTIVE_LINTERS = [ "rejected-words", "rst", "updatebot", + "typescript", "wpt", ] View it on GitLab: https://gitlab.torproject.org/tpo/applications/tor-browser/-/commit/dc87c9ff... -- View it on GitLab: https://gitlab.torproject.org/tpo/applications/tor-browser/-/commit/dc87c9ff... You're receiving this email because of your account on gitlab.torproject.org.