Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ybertot issue stats
Total issues: 15
Total pull requests: 46
Merged pull request: 34
Average time to close issues: 23 days
Average time to close pull requests: about 1 month
Average comments per issue: 4.07
Average comments per pull request: 1.57
Issues created
Pull requests created
- coq-community/coq-dpdgraph: 19
- coq/coq.github.io: 5
- math-comp/mcb: 3
- coq/opam: 3
- coq-community/fourcolor: 3
- ligurio/practical-fm: 3
- math-comp/finmap: 3
- math-comp/math-comp: 2
- coq-community/coqeal: 1
- coq-community/hydra-battles: 1
- coq-community/coq-art: 1
- coq-community/semantics: 1
- coq-community/awesome-coq: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (9, 60.00%)
- Contributor (3, 20.00%)
- Member (2, 13.33%)
- Collaborator (1, 6.67%)
Pull Request Author Associations
- Collaborator (24, 52.17%)
- Contributor (12, 26.09%)
- Member (8, 17.39%)
- None (2, 4.35%)
Top Issue Labels
- move-project (3)
- bug (2)
- coq-library (2)
- enhancement (1)
- coq-plugin (1)
- kind: bug (1)
- part: coq_makefile (1)
Top Pull Request Labels
- needs: rebase (1)
- TODO: MC-1 port (1)