Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mattam82 issue stats
Total issues: 20
Total pull requests: 177
Merged pull request: 137
Average time to close issues: 26 days
Average time to close pull requests: about 2 months
Average comments per issue: 3.9
Average comments per pull request: 1.54
Issues created
Pull requests created
- MetaCoq/metacoq: 40
- CertiCoq/certicoq: 40
- yforster/coq-verified-extraction: 16
- mattam82/Coq-Equations: 15
- coq/opam: 8
- coq/coq.github.io: 7
- mit-plv/fiat: 7
- coq/coq: 6
- coq/repo-unstable-disabled: 3
- coq/repo-stable-disabled: 3
- mit-pdos/perennial: 3
- coq-community/math-classes: 2
- ppedrot/coq-forcing: 2
- coq/platform: 2
- coq-community/aac-tactics: 2
- coq/ceps: 2
- coq-community/paramcoq: 2
- fblanqui/color: 2
- coq-community/coq-ext-lib: 2
- stedolan/malfunction: 2
- bokuweb/vscode-git-grep: 1
- mit-plv/kami: 1
- hott/epit-2020: 1
- cpitclaudel/alectryon: 1
- mit-plv/bedrock2: 1
- QuickChick/QuickChick: 1
- LPCIC/coq-elpi: 1
- mit-plv/rewriter: 1
- uds-psl/metacoq_plugins: 1
- yforster/dockercoq: 1
- coq/repo-coqs-disabled: 1
Maintainer
- MetaCoq/metacoq: 44
- CertiCoq/certicoq: 41
- mattam82/Coq-Equations: 16
- yforster/coq-verified-extraction: 16
- coq/opam: 8
- coq/coq.github.io: 7
- coq/coq: 6
- coq/repo-unstable-disabled: 3
- coq/repo-stable-disabled: 3
- coq/ceps: 2
- coq/platform: 2
- coq/repo-coqs-disabled: 1
- coq/ltac2: 1
- yforster/dockercoq: 1
- hott/epit-2020: 1
Active Maintainer
- MetaCoq/metacoq: 31
- yforster/coq-verified-extraction: 14
- CertiCoq/certicoq: 13
- mattam82/Coq-Equations: 6
- coq/coq: 5
- coq/opam: 5
- yforster/dockercoq: 1
Issue Author Associations
- None (7, 35.00%)
- Contributor (6, 30.00%)
- Member (5, 25.00%)
- Collaborator (1, 5.00%)
- Owner (1, 5.00%)
Pull Request Author Associations
- Member (73, 41.24%)
- Collaborator (57, 32.20%)
- Contributor (27, 15.25%)
- Owner (15, 8.47%)
- None (5, 2.82%)
Top Issue Labels
- bug (2)
- enhancement (2)
- good first issue (1)
Top Pull Request Labels
- needs: rebase (4)
- stale (4)
- needs: full CI (2)
- needs: progress (1)
- needs: documentation (1)
- needs: changelog entry (1)
- part: hints (1)
- kind: feature (1)