GitHub / L-TChen issue stats
Total issues: 41
Total pull requests: 22
Merged pull request: 16
Average time to close issues: 6 months
Average time to close pull requests: 6 months
Average comments per issue: 2.27
Average comments per pull request: 2.32
Issues created
- l-tchen/l-tchen.github.io: 9
- agda/agda: 5
- banacorn/agda-mode-vscode: 5
- kosmikus/lhs2tex: 2
- l-tchen/bisig: 2
- haskell/actions: 2
- l-tchen/mtacar: 1
- wenkokke/setup-agda: 1
- robdockins/edison: 1
- commercialhaskell/stack: 1
- haskell/containers: 1
- L-TChen/nstc-proposal: 1
- mtesseract/haskell-partial-order: 1
- agda/agda-language-server: 1
- danr/geniplate: 1
- haskell/test-framework: 1
- haskell/text-icu: 1
- ddssff/listlike: 1
- agda/fix-whitespace: 1
- st--/annotate-equations: 1
- haskell/cabal: 1
- actions/setup-haskell: 1
Pull requests created
- jaiyalas/flolac18: 4
- haskell/cabal: 4
- agda/fix-whitespace: 2
- agda/agda: 2
- ulfnorell/agda-prelude: 2
- haskell/haskell-ide-engine: 1
- ulfnorell/agda-bench: 1
- danr/geniplate: 1
- l-tchen/docker-agda: 1
- mtesseract/haskell-partial-order: 1
- phile314/tasty-silver: 1
- kosmikus/lhs2tex: 1
- agda/agda-language-server: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (13, 31.71%)
- None (12, 29.27%)
- Member (7, 17.07%)
- Collaborator (6, 14.63%)
- Contributor (3, 7.32%)
Pull Request Author Associations
- Contributor (11, 50.00%)
- Member (5, 22.73%)
- None (4, 18.18%)
- Owner (1, 4.55%)
- Collaborator (1, 4.55%)
Top Issue Labels
- bug (4)
- type: bug (4)
- enhancement (2)
- rewriting (2)
- Agda loops (1)
- regression in 2.7.0 (1)
- catch-all (1)
- cubical (1)
- faq (1)
- ux: documentation (1)
- instance (1)
- status: duplicate (1)
- bug or feature? (1)
- interleaved mutual (1)
- set-omega (1)
Top Pull Request Labels
- re: installed-package-info (2)
- infra: github workflows (2)
- status: consider closing (1)
- type: enhancement (1)
- attention: needs-test (1)
- attention: needs-review (1)
- re: license (1)
- closed-issues-for-milestone (1)
- ux: installation (1)
- pr: squash-me (1)