pull_requests: 1074958389
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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1074958389 | PR_kwDOAMm_X85AEpA1 | 7117 | open | 0 | Expermimental mypy plugin | 43316012 | I was playing around a bit with a mypy plugin and this was the best I could come up with. Unfortunately the mypy docu about the plugins is not very detailed... This plugin makes mypy recognize the user defined accessors. There is a quite severe bug in there (due to my lack of understanding of mypy internals probably) which makes it work only on the first run but when you change a line in your code and run mypy again it will crash... (you can delete the cache to make it work one more time again :) Any chance that a mypy expert can figure this out? haha | 2022-10-03T17:07:59Z | 2022-10-03T18:53:10Z | 057bb9cf29f6eadec9be6a94ea6cc47224e2667a | 1 | aec6a1da22752e7fe74763d884bd396e5c5e4b04 | f5884a2070fb6cdaa9f187cfe56c3670cfad2f87 | COLLABORATOR | 13221727 | https://github.com/pydata/xarray/pull/7117 |
Links from other tables
- 1 row from pull_requests_id in labels_pull_requests