De-dup typing examples names; fix PR template

Author: hynek

.github/PULL_REQUEST_TEMPLATE.md

@@ -21,7 +21,7 @@ If your pull request is a documentation fix or a trivial typo, feel free to dele
   Our CI fails if coverage is not 100%.
 - [ ] New features have been added to our [Hypothesis testing strategy](https://github.com/python-attrs/attrs/blob/main/tests/strategies.py).
 - [ ] Changes or additions to public APIs are reflected in our type stubs (files ending in ``.pyi``).
-    - [ ] ...and used in the stub test file `tests/typing_example.py`.
+    - [ ] ...and used in the stub test file `typing-examples/baseline.py` or, if necessary, `typing-examples/mypy.py`.
     - [ ] If they've been added to `attr/__init__.pyi`, they've *also* been re-imported in `attrs/__init__.pyi`.
 - [ ] Updated **documentation** for changed code.
     - [ ] New functions/classes have to be added to `docs/api.rst` by hand.

pyproject.toml

@@ -305,4 +305,4 @@ check_untyped_defs = true
 
 
 [tool.pyright]
-include = ["typing-examples/baseline_examples.py"]
+include = ["typing-examples/baseline.py"]

tox.ini

@@ -127,16 +127,16 @@ commands =
 [testenv:typing-pyright]
 dependency_groups = pyright
 commands =
-    pyright typing-examples/baseline_examples.py
+    pyright typing-examples/baseline.py
     pytest tests/test_pyright.py -vv
 
 [testenv:typing-ty]
 dependency_groups = ty
-commands = ty check typing-examples/baseline_examples.py
+commands = ty check typing-examples/baseline.py
 
 [testenv:typing-pyrefly]
 dependency_groups = pyrefly
-commands = pyrefly check typing-examples/baseline_examples.py
+commands = pyrefly check typing-examples/baseline.py
 
 
 [testenv:docset]