Ecosyste.ms: Issues

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

GitHub / vlad902 issue stats

Total issues: 1
Total pull requests: 26
Merged pull request: 20
Average time to close issues: 1 day
Average time to close pull requests: about 2 months
Average comments per issue: 8.0
Average comments per pull request: 1.42

Issues created

vampirc/vampirc-uci: 1

Pull requests created

leanprover/lean4: 13
egonschiele/grabyourwallet: 3
strazzere/010editor-stuff: 3
leanprover/theorem_proving_in_lean4: 2
zed-0xff/pedump: 2
jordanbray/chess: 1
bitbar/testdroid-api-client-ruby: 1
openworm/openworm.github.io: 1

Maintainer

Active Maintainer

Issue Author Associations

None (1, 100.00%)

Pull Request Author Associations

Contributor (24, 92.31%)
None (2, 7.69%)

Top Issue Labels

Top Pull Request Labels

toolchain-available (13)
changelog-library (9)
P-medium (2)
changelog-language (2)