Ecosyste.ms: Issues

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

GitHub / ammkrn issue stats

Total issues: 42
Total pull requests: 105
Merged pull request: 52
Average time to close issues: about 1 month
Average time to close pull requests: 15 days
Average comments per issue: 3.31
Average comments per pull request: 2.83

Issues created

digama0/mm0: 31
sublimehq/sublime_merge: 2
warpdotdev/Warp: 2
leanprover-community/doc-gen: 2
digama0/mmj2: 1
rust-lang/rust: 1
cessen/ropey: 1
leanprover/elan: 1
leanprover/lean4export: 1

Pull requests created

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

Maintainer

Active Maintainer

Issue Author Associations

Contributor (32, 76.19%)
None (10, 23.81%)

Pull Request Author Associations

Contributor (102, 97.14%)
None (3, 2.86%)

Top Issue Labels

Feature requests (2)
enhancement (1)
good first issue (1)
C-bug (1)

Top Pull Request Labels

awaiting-author (2)