pull_requests
1 row where user = 20397548
This data as json, CSV (advanced)
Suggested facets: created_at (date), updated_at (date), closed_at (date), merged_at (date)
| 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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 1592808124 | PR_kwDOAMm_X85e8FK8 | 8425 | closed | 0 | Properly closes zarr groups in zarr store | CarlAndersson 20397548 | If the zarr backend is using a store which needs closing, e.g., a zip store, it should be closed with the xarray zarrstore backend. This is occurred when i tried to save a dataset to a zarr file while giving the .zip file extension. I have not done extensive tests on this small piece of code, so it might not cover all use cases. Let me know if I need to add tests or more documentation! - [x] Tests added - [x] User visible changes (including notable bug fixes) are documented in `whats-new.rst` | 2023-11-08T15:05:55Z | 2023-12-01T02:27:16Z | 2023-12-01T02:20:14Z | 2023-12-01T02:20:14Z | b313ffc2bd6ffc1c221f8950fff3cceb24cb775f | 0 | 98116aa273f503e1f76267daa0deef887c94e790 | d46c5b66463dfb0fed7e105514dda07e7ef4b5ef | CONTRIBUTOR | {
"enabled_by": {
"login": "andersy005",
"id": 13301940,
"node_id": "MDQ6VXNlcjEzMzAxOTQw",
"avatar_url": "https://avatars.githubusercontent.com/u/13301940?v=4",
"gravatar_id": "",
"url": "https://api.github.com/users/andersy005",
"html_url": "https://github.com/andersy005",
"followers_url": "https://api.github.com/users/andersy005/followers",
"following_url": "https://api.github.com/users/andersy005/following{/other_user}",
"gists_url": "https://api.github.com/users/andersy005/gists{/gist_id}",
"starred_url": "https://api.github.com/users/andersy005/starred{/owner}{/repo}",
"subscriptions_url": "https://api.github.com/users/andersy005/subscriptions",
"organizations_url": "https://api.github.com/users/andersy005/orgs",
"repos_url": "https://api.github.com/users/andersy005/repos",
"events_url": "https://api.github.com/users/andersy005/events{/privacy}",
"received_events_url": "https://api.github.com/users/andersy005/received_events",
"type": "User",
"site_admin": false
},
"merge_method": "squash",
"commit_title": "Properly closes zarr groups in zarr store (#8425)",
"commit_message": "Co-authored-by: Maximilian Roos <5635139+max-sixty@users.noreply.github.com>\r\nCo-authored-by: Anderson Banihirwe <13301940+andersy005@users.noreply.github.com>\r\n"
} |
xarray 13221727 | https://github.com/pydata/xarray/pull/8425 |
Advanced export
JSON shape: default, array, newline-delimited, object
CREATE TABLE [pull_requests] (
[id] INTEGER PRIMARY KEY,
[node_id] TEXT,
[number] INTEGER,
[state] TEXT,
[locked] INTEGER,
[title] TEXT,
[user] INTEGER REFERENCES [users]([id]),
[body] TEXT,
[created_at] TEXT,
[updated_at] TEXT,
[closed_at] TEXT,
[merged_at] TEXT,
[merge_commit_sha] TEXT,
[assignee] INTEGER REFERENCES [users]([id]),
[milestone] INTEGER REFERENCES [milestones]([id]),
[draft] INTEGER,
[head] TEXT,
[base] TEXT,
[author_association] TEXT,
[auto_merge] TEXT,
[repo] INTEGER REFERENCES [repos]([id]),
[url] TEXT,
[merged_by] INTEGER REFERENCES [users]([id])
);
CREATE INDEX [idx_pull_requests_merged_by]
ON [pull_requests] ([merged_by]);
CREATE INDEX [idx_pull_requests_repo]
ON [pull_requests] ([repo]);
CREATE INDEX [idx_pull_requests_milestone]
ON [pull_requests] ([milestone]);
CREATE INDEX [idx_pull_requests_assignee]
ON [pull_requests] ([assignee]);
CREATE INDEX [idx_pull_requests_user]
ON [pull_requests] ([user]);