ruff: Enable new lints INT, PYI.

Signed-off-by: Anders Kaseorg <anders@zulip.com>

pyproject.toml

@@ -107,11 +107,13 @@ select = [
     "F", # flakes
     "G", # logging format
     "I", # import sorting
+    "INT", # gettext
     "ISC", # string concatenation
     "N", # naming
     "PGH", # pygrep-hooks
     "PIE", # miscellaneous
     "PL", # pylint
+    "PYI", # typing stubs
     "Q", # quotes
     "RSE", # raise
     "RUF", # Ruff
@@ -169,5 +171,8 @@ line-length = 100
 src = [".", "tools"]
 target-version = "py38"
 
+[tool.ruff.flake8-gettext]
+extend-function-names = ["gettext_lazy"]
+
 [tool.ruff.isort]
 known-third-party = ["zulip"]

tools/semgrep.yml

@@ -69,16 +69,6 @@ rules:
     severity: ERROR
     message: "Do not write a SQL injection vulnerability please"
 
-  - id: translated-format
-    languages: [python]
-    pattern-either:
-      - pattern: django.utils.translation.gettext(... .format(...))
-      - pattern: django.utils.translation.gettext(f"...")
-      - pattern: django.utils.translation.gettext_lazy(... .format(...))
-      - pattern: django.utils.translation.gettext_lazy(f"...")
-    severity: ERROR
-    message: "Format strings after translation, not before"
-
   - id: translated-format-lazy
     languages: [python]
     pattern: django.utils.translation.gettext_lazy(...).format(...)