An open API service for providing issue and pull request metadata for open source projects.

GitHub / agda / agda-stdlib issue stats

Last synced: 2 days ago

Total issues: 195
Total pull requests: 479
Average time to close issues: about 1 year
Average time to close pull requests: 29 days
Total issue authors: 28
Total pull request authors: 42
Average comments per issue: 2.85
Average comments per pull request: 2.23
Merged pull requests: 313
Bot issues: 0
Bot pull requests: 0

Past year issues: 84
Past year pull requests: 309
Past year average time to close issues: 10 days
Past year average time to close pull requests: 7 days
Past year issue authors: 18
Past year pull request authors: 26
Past year average comments per issue: 1.71
Past year average comments per pull request: 1.64
Past year merged pull requests: 199
Past year bot issues: 0
Past year bot pull requests: 0

More repo stats: https://repos.ecosyste.ms/hosts/GitHub/repositories/agda/agda-stdlib
JSON API: https://issues.ecosyste.ms/api/v1/hosts/GitHub/repositories/agda%2Fagda-stdlib

Issue Author Associations

  • Contributor (151, 77.44%)
  • Member (24, 12.31%)
  • None (20, 10.26%)

Pull Request Author Associations

  • Contributor (410, 85.59%)
  • Member (48, 10.02%)
  • None (21, 4.38%)

Top Issue Authors

Top Pull Request Authors


All Maintainers

Active Maintainers


Top Issue Labels

  • library-design (41)
  • refactoring (40)
  • addition (38)
  • discussion (21)
  • bug (20)
  • low-hanging-fruit (17)
  • breaking (14)
  • deprecation (12)
  • dependencies (11)
  • naming (10)
  • documentation (10)
  • question (8)
  • admin (6)
  • task (5)
  • style-guide (4)
  • cosmetic (4)
  • release (3)
  • status: duplicate (3)
  • continuous-integration (3)
  • upstream (2)
  • performance (2)
  • cubical-compatible (2)
  • instances (2)
  • tactics (1)
  • status: invalid (1)
  • regression (1)
  • status: blocked-by-issue (1)

Top Pull Request Labels

  • addition (142)
  • refactoring (124)
  • dependencies (48)
  • cosmetic (45)
  • bug (40)
  • library-design (30)
  • low-hanging-fruit (30)
  • deprecation (27)
  • admin (19)
  • breaking (19)
  • documentation (18)
  • naming (15)
  • discussion (9)
  • status: blocked-by-issue (7)
  • style-guide (6)
  • continuous-integration (4)
  • status: duplicate (4)
  • upstream (4)
  • status: won't-merge (3)
  • instances (3)
  • tactics (3)
  • release (2)
  • reflection (2)
  • performance (2)
  • Fairbairn threshold (1)
  • cubical-compatible (1)
  • paper-based (1)
  • license (1)
  • question (1)
  • subsets (1)