pull_requests
1 row where user = 1020496
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 |
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
| 523923471 | MDExOlB1bGxSZXF1ZXN0NTIzOTIzNDcx | 4594 | closed | 0 | BUG: fix the CSS for dt / dd to only apply to xarray repr | jorisvandenbossche 1020496 | xref https://github.com/pandas-dev/pydata-sphinx-theme/issues/284 The current CSS had the consequence that those rules were applied to all `<dd>` elements, and not only the ones with the `xr-attrs` class. I don't know if there is a smarter way in CSS to select two element types using the class rather than repeating the class name as I did here, but this works. cc @benbovy | 2020-11-19T12:40:41Z | 2020-11-20T20:35:22Z | 2020-11-20T20:24:54Z | 2020-11-20T20:24:54Z | 9c02c611b24b462bb83f1540828ae0e8231f8f64 | 0 | ceea5403ce54b2238ed74401e3b2e15d52c2942e | 6c32d7c21941461ae9c21b43e6071ee79fb47d68 | MEMBER | xarray 13221727 | https://github.com/pydata/xarray/pull/4594 |
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]);