pull_requests: 1500931269
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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1500931269 | PR_kwDOAMm_X85ZdmTF | 8142 | closed | 0 | Dirty workaround for mypy 1.5 error | 4160723 | I wanted to fix the following error with mypy 1.5: ``` xarray/core/dataset.py:505: error: Definition of "__eq__" in base class "DatasetOpsMixin" is incompatible with definition in base class "Mapping" [misc] ``` Which looks similar to https://github.com/python/mypy/issues/9319. It is weird that here it worked with mypy versions < 1.5, though. I don't know if there is a better fix, but I thought that redefining `__eq__` in `Dataset` would be a bit less dirty workaround than adding `type: ignore` in the class declaration. | 2023-09-04T09:21:18Z | 2023-09-07T16:04:55Z | 2023-09-07T08:21:12Z | 2023-09-07T08:21:12Z | e2b6f3468ef829b8a83637965d34a164bf3bca78 | 0 | 46bd88fbea07d52f06eab5d11ca3f72b547af263 | f13da94db8ab4b564938a5e67435ac709698f1c9 | MEMBER | 13221727 | https://github.com/pydata/xarray/pull/8142 |
Links from other tables
- 0 rows from pull_requests_id in labels_pull_requests