Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / DmxLarchey issue stats
Total issues: 8
Total pull requests: 83
Merged pull request: 68
Average time to close issues: 4 months
Average time to close pull requests: 10 days
Average comments per issue: 4.38
Average comments per pull request: 1.94
Issues created
Pull requests created
- uds-psl/coq-library-undecidability: 27
- dmxlarchey/the-braga-method: 10
- dmxlarchey/breadth-first-numbering: 8
- dmxlarchey/murec_extraction: 8
- dmxlarchey/kruskal-trees: 5
- dmxlarchey/kruskal-veldman: 4
- dmxlarchey/kruskal-finite: 4
- dmxlarchey/kruskal-almostfull: 3
- dmxlarchey/kruskal-higman: 3
- dmxlarchey/friedman-tree: 2
- dmxlarchey/karp-miller: 2
- dmxlarchey/relevant-decidability: 2
- dmxlarchey/kruskal-theorems: 1
- coq/opam: 1
- dmxlarchey/kruskal-fan: 1
- dmxlarchey/bfe: 1
- uds-psl/h10: 1
Maintainer
- uds-psl/coq-library-undecidability: 28
- dmxlarchey/breadth-first-numbering: 12
- dmxlarchey/the-braga-method: 10
- dmxlarchey/murec_extraction: 8
- dmxlarchey/kruskal-trees: 6
- dmxlarchey/kruskal-finite: 4
- dmxlarchey/kruskal-veldman: 4
- dmxlarchey/kruskal-higman: 3
- dmxlarchey/kruskal-almostfull: 3
- dmxlarchey/relevant-decidability: 2
- dmxlarchey/karp-miller: 2
- dmxlarchey/friedman-tree: 2
- dmxlarchey/kruskal-theorems: 1
- dmxlarchey/kruskal-fan: 1
- dmxlarchey/bfe: 1
Active Maintainer
Issue Author Associations
- Owner (5, 62.50%)
- Collaborator (2, 25.00%)
- None (1, 12.50%)
Pull Request Author Associations
- Owner (54, 65.06%)
- Collaborator (28, 33.73%)
- Contributor (1, 1.20%)
Top Issue Labels
- enhancement (3)
- question (1)
Top Pull Request Labels
- enhancement (25)
- good first issue (1)