Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ybertot issue stats
Total issues: 19
Total pull requests: 63
Merged pull request: 45
Average time to close issues: 23 days
Average time to close pull requests: 2 months
Average comments per issue: 3.37
Average comments per pull request: 1.57
Issues created
Pull requests created
- coq-community/coq-dpdgraph: 19
- math-comp/trajectories: 9
- coq/coq.github.io: 5
- ligurio/practical-fm: 3
- math-comp/finmap: 3
- coq-community/fourcolor: 3
- coq/opam: 3
- math-comp/mcb: 3
- math-comp/math-comp: 2
- math-comp/math-comp.github.io: 2
- coq/coq: 2
- math-comp/real-closed: 2
- math-comp/math-comp-nix: 1
- coq-community/coqeal: 1
- ybertot/osxp_demos_coq: 1
- coq-community/hydra-battles: 1
- coq-community/coq-art: 1
- coq-community/semantics: 1
- coq-community/awesome-coq: 1
Maintainer
- coq-community/coq-dpdgraph: 20
- math-comp/trajectories: 12
- math-comp/math-comp: 4
- math-comp/mcb: 3
- coq-community/fourcolor: 3
- math-comp/finmap: 3
- math-comp/real-closed: 2
- math-comp/math-comp.github.io: 2
- coq-community/coq-art: 1
- coq-community/semantics: 1
- ybertot/osxp_demos_coq: 1
- math-comp/math-comp-nix: 1
Active Maintainer
Issue Author Associations
- None (10, 52.63%)
- Member (5, 26.32%)
- Contributor (3, 15.79%)
- Collaborator (1, 5.26%)
Pull Request Author Associations
- Collaborator (24, 38.10%)
- Member (22, 34.92%)
- Contributor (14, 22.22%)
- None (2, 3.17%)
- Owner (1, 1.59%)
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)