Skip to content

Pull requests: entrius/das-github-mirror

New pull request New
8 Open 94 Closed
8 Open 94 Closed
Author
Filter by author
Loading
Label
Filter by label
Loading
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Loading
Milestones
Filter by milestone
Loading
Reviews
Filter by reviews
No reviews Review required Approved review Changes requested
Assignee
Filter by who’s assigned
Assigned to nobody Loading
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Pull requests list

feat(reconciler): auto-deregister repos delisted from gittensor master list feature
#173 opened Jun 5, 2026 by glorydavid03023 Loading…
6 of 10 tasks
1
feat(miners): add reviews endpoint for miner review contributions feature
#172 opened Jun 4, 2026 by glorydavid03023 Loading…
6 of 10 tasks
fix(webhook): case-insensitive registered repo lookup bug Something isn't working
#171 opened Jun 3, 2026 by kiannidev Loading…
4 tasks done
1
fix(miners): window CLOSED PRs by closed_at, not created_at bug Something isn't working
#162 opened Jun 1, 2026 by jony376 Loading…
5 of 10 tasks
1
fix: prevent PR file ingestion from marking scoring data complete when GitHub caps or under-returns changed files bug Something isn't working
#160 opened Jun 1, 2026 by leonaIee Contributor Loading…
5 of 10 tasks
1
fix(webhook): fail missing PR file content blobs bug Something isn't working
#148 opened May 29, 2026 by JSONbored Contributor Loading…
14 of 18 tasks
fix(installation): case-insensitive repo removal and normalize PK enhancement New feature or request
#127 opened May 24, 2026 by Yurii214 Loading…
2 tasks done
1
3
feat(miners): add cursor pagination to pulls and issues endpoints enhancement New feature or request
#126 opened May 24, 2026 by Yurii214 Loading…
2 tasks done
1
3
ProTip! Mix and match filters to narrow down what you’re looking for.