Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ilyasergey issue stats
Total issues: 41
Total pull requests: 8
Merged pull request: 6
Average time to close issues: about 1 month
Average time to close pull requests: about 8 hours
Average comments per issue: 2.49
Average comments per pull request: 0.5
Issues created
- Zilliqa/scilla: 40
- verse-lab/lean-ssr: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (41, 100.00%)
Pull Request Author Associations
- Contributor (6, 75.00%)
- Collaborator (2, 25.00%)
Top Issue Labels
- enhancement (9)
- infrastructure (8)
- type system (8)
- evaluator (7)
- verification (4)
- emacs (4)
- parser (2)
- blockchain (2)
- advanced (2)
- static analysis (2)
- libraries / builtins (2)
- in-progress (2)
- code style / refactoring (1)
- synthesis (1)
- wontfix (1)