GitHub / akr issue stats
Total issues: 11
Total pull requests: 11
Merged pull request: 10
Average time to close issues: about 1 year
Average time to close pull requests: about 6 hours
Average comments per issue: 2.27
Average comments per pull request: 0.36
Issues created
- coq/coq: 4
- math-comp/mcb: 2
- gildor478/ounit: 2
- ongaeshi/milkode: 1
- jonas/tig: 1
- rocq-prover/rocq: 1
Pull requests created
- ruby/rubyci: 10
- ongaeshi/milkode: 1
Maintainer
- ruby/rubyci: 10
Active Maintainer
Issue Author Associations
- Contributor (6, 54.55%)
- None (5, 45.45%)
Pull Request Author Associations
- Collaborator (10, 90.91%)
- Contributor (1, 9.09%)
Top Issue Labels
- kind: bug (2)
- needs: triage (2)
- type:bug (1)
- part: extraction (1)
- kind: regression (1)