GitHub / m4lvin issue stats
Total issues: 89
Total pull requests: 23
Merged pull request: 14
Average time to close issues: 10 months
Average time to close pull requests: 25 days
Average comments per issue: 0.79
Average comments per pull request: 0.57
Issues created
- jrclogic/SMCDEL: 50
- m4lvin/HasCacBDD: 13
- m4lvin/gomoche: 3
- m4lvin/modal-tableau-interpolation: 3
- m4lvin/lean4-pdl: 2
- leanprover/lean4: 2
- funcspec/report-example: 1
- m4lvin/repleantex: 1
- velazcod/Tinfoil-Facebook: 1
- haskell/haskell-language-server: 1
- commercialhaskell/stack: 1
- m4lvin/nextcloud-client-debian-packaging: 1
- yunohost-apps/phpmyadmin_ynh: 1
- msakai/haskell-decision-diagrams: 1
- SwiftLaTeX/SwiftLaTeX: 1
- eeue56/elm-bash-completion: 1
- jirikuchta/garmin-ical-export: 1
- jwngr/sdow: 1
- roundcube/roundcube.github.com: 1
- leanprover/doc-gen4: 1
- jwaldmann/haskell-obdd: 1
- m4lvin/tablean: 1
Pull requests created
- leanprover/vscode-lean: 2
- leanprover-community/repl: 2
- arXiv/arxiv-docs: 2
- yunohost-apps/reverseproxy_ynh: 2
- m4lvin/lean4-pdl: 2
- ical2org-py/ical2org.py: 2
- yuvadm/namehack.club: 2
- Pathemeous/Symbolic-Gossip: 1
- jrclogic/SMCDEL: 1
- leanprover/lean4: 1
- leanprover-community/mathlib-tools: 1
- m4lvin/HasCacBDD: 1
- 18jesorkin/lean4-nbe: 1
- haskell/haskell-language-server: 1
- leanprover-community/lean4-metaprogramming-book: 1
- johnyf/tool_lists: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (50, 56.18%)
- Owner (24, 26.97%)
- None (11, 12.36%)
- Contributor (4, 4.49%)
Pull Request Author Associations
- None (13, 56.52%)
- Contributor (6, 26.09%)
- Owner (3, 13.04%)
- Member (1, 4.35%)
Top Issue Labels
- enhancement (17)
- bug (12)
- testing (7)
- technical debt (7)
- documentation (5)
- alternative-bdd-package (2)
- type: bug (1)
- component: ghcide (1)
- type: enhancement (1)
- component: configuration (1)
- P-medium (1)
Top Pull Request Labels
- enhancement (1)
- toolchain-available (1)