GitHub / abgruszecki issue stats
Total issues: 10
Total pull requests: 2
Merged pull request: 1
Average time to close issues: 7 months
Average time to close pull requests: 1 day
Average comments per issue: 4.9
Average comments per pull request: 2.5
Issues created
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (8, 80.00%)
- Contributor (2, 20.00%)
Pull Request Author Associations
- None (1, 50.00%)
- Contributor (1, 50.00%)
Top Issue Labels
- is:upstream (2)
- itype:bug (1)
- backlog (1)
- itype:enhancement (1)
- area:doctool (1)
- module:lang/coq (1)
- is:bug (1)
- module:lang/org (1)
- re:org-roam (1)
- module:emacs/dired (1)
- bug (1)