Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / L-TChen issue stats
Total issues: 42
Total pull requests: 17
Merged pull request: 12
Average time to close issues: 7 months
Average time to close pull requests: 28 days
Average comments per issue: 2.26
Average comments per pull request: 2.47
Issues created
- l-tchen/l-tchen.github.io: 9
- agda/agda: 6
- banacorn/agda-mode-vscode: 5
- l-tchen/bisig: 2
- haskell/actions: 2
- kosmikus/lhs2tex: 2
- l-tchen/mtacar: 1
- robdockins/edison: 1
- commercialhaskell/stack: 1
- L-TChen/nstc-proposal: 1
- danr/geniplate: 1
- haskell/text-icu: 1
- st--/annotate-equations: 1
- haskell/cabal: 1
- wenkokke/setup-agda: 1
- haskell/containers: 1
- mtesseract/haskell-partial-order: 1
- haskell/test-framework: 1
- banacorn/agda-language-server: 1
- ddssff/listlike: 1
- agda/fix-whitespace: 1
- actions/setup-haskell: 1
Pull requests created
Maintainer
Active Maintainer
- agda/agda: 4
- danr/geniplate: 1
- L-TChen/nstc-proposal: 1
Issue Author Associations
- Owner (13, 30.95%)
- None (12, 28.57%)
- Member (7, 16.67%)
- Collaborator (7, 16.67%)
- Contributor (3, 7.14%)
Pull Request Author Associations
- Contributor (9, 52.94%)
- None (4, 23.53%)
- Member (2, 11.76%)
- Collaborator (2, 11.76%)
Top Issue Labels
- bug (4)
- type: bug (4)
- rewriting (3)
- bug or feature? (2)
- interleaved mutual (2)
- enhancement (2)
- set-omega (2)
- unification (2)
- pattern matching (2)
- faq (1)
- ux: documentation (1)
- help wanted (1)
- regression in 2.7.0 (1)
- cubical (1)
- agda (1)
Top Pull Request Labels
- re: installed-package-info (2)
- type: enhancement (1)
- attention: needs-test (1)
- attention: needs-review (1)
- re: license (1)