pull_requests: 1139511392
This data as json
| id | node_id | number | state | locked | title | user | body | created_at | updated_at | closed_at | merged_at | merge_commit_sha | assignee | milestone | draft | head | base | author_association | auto_merge | repo | url | merged_by |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1139511392 | PR_kwDOAMm_X85D65Bg | 7335 | closed | 0 | Enable mypy warn unused ignores | 43316012 | This PR adds the mypy option "warn_unused_ignores" which will raise an error if a `# type: ignore` is used where it is no longer necessary. Should enable us to keep our types updated. I am not sure if this will lead to many issues whenever e.g. numpy changes/improves their typing, so we might get errors whenever there is a new version. Maybe it is not that bad, or maybe we can also remove the option again and only do it manually from time to time? | 2022-11-29T20:42:08Z | 2022-12-08T20:09:06Z | 2022-12-01T16:14:07Z | 2022-12-01T16:14:07Z | 0e5e3fe0dfa65890cc8e133f34011b6acdb3d08b | 0 | 3460448ab7977308b0ff67531acfa141df8adfb8 | 3aa75c8d00a4a2d4acf10d80f76b937cadb666b7 | COLLABORATOR | 13221727 | https://github.com/pydata/xarray/pull/7335 |
Links from other tables
- 7 rows from pull_requests_id in labels_pull_requests