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/dc87c9ff312f0f151765aaba19ec9f5536c8d081

-- 
View it on GitLab: 
https://gitlab.torproject.org/tpo/applications/tor-browser/-/commit/dc87c9ff312f0f151765aaba19ec9f5536c8d081
You're receiving this email because of your account on gitlab.torproject.org.


_______________________________________________
tor-commits mailing list -- [email protected]
To unsubscribe send an email to [email protected]

Reply via email to