Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / peterlefanulumsdaine issue stats

Total issues: 40
Total pull requests: 22
Merged pull request: 17
Average time to close issues: about 1 year
Average time to close pull requests: 2 months
Average comments per issue: 2.1
Average comments per pull request: 2.45

Issues created

HoTT/Coq-HoTT: 21
peterlefanulumsdaine/general-type-theories: 9
UniMath/UniMath: 7
peterlefanulumsdaine/unimath2017-categorytheory: 2
soli/rascal: 1

Pull requests created

HoTT/Coq-HoTT: 7
UniMath/UniMath: 7
peterlefanulumsdaine/general-type-theories: 4
coq-community/dedekind-reals: 2
fontforge/designwithfontforge.com: 1
blynn/lambda: 1

Maintainer

Active Maintainer

UniMath/UniMath: 7

Issue Author Associations

Contributor (21, 52.50%)
Owner (11, 27.50%)
Collaborator (7, 17.50%)
None (1, 2.50%)

Pull Request Author Associations

Contributor (9, 40.91%)
Collaborator (7, 31.82%)
Owner (4, 18.18%)
None (2, 9.09%)

Top Issue Labels

code change - just do (1)
good first issue (1)
CI (1)

Top Pull Request Labels

under discussion (2)