Ecosyste.ms: Issues

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

GitHub / ammkrn issue stats

Total issues: 36
Total pull requests: 101
Merged pull request: 50
Average time to close issues: about 1 month
Average time to close pull requests: 13 days
Average comments per issue: 3.11
Average comments per pull request: 2.88

Issues created

digama0/mm0: 31
leanprover-community/doc-gen: 2
rust-lang/rust: 1
leanprover/elan: 1
cessen/ropey: 1

Pull requests created

digama0/mm0: 67
leanprover-community/mathlib4: 20
s-arash/ascent: 6
rust-analyzer/ungrammar: 2
cessen/ropey: 2
milkey-mouse/edit: 2
NixOS/nix-pills: 1
leanprover/vscode-lean4: 1

Maintainer

Active Maintainer

Issue Author Associations

Contributor (32, 88.89%)
None (4, 11.11%)

Pull Request Author Associations

Contributor (100, 99.01%)
None (1, 0.99%)

Top Issue Labels

enhancement (1)
good first issue (1)
C-bug (1)

Top Pull Request Labels

awaiting-author (2)