Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / annenkov issue stats
Total issues: 40
Total pull requests: 35
Merged pull request: 30
Average time to close issues: 4 months
Average time to close pull requests: 9 days
Average comments per issue: 0.85
Average comments per pull request: 1.11
Issues created
- Concordium/concordium-rust-smart-contracts: 18
- AU-COBRA/ConCert: 9
- WalletConnect/walletconnect-monorepo: 3
- Concordium/concordium-base: 2
- QuickChick/QuickChick: 2
- wasmerio/wasmer: 1
- RustCrypto/crypto-bigint: 1
- cpitclaudel/alectryon: 1
- Concordium/concordium-node-sdk-js: 1
- AU-COBRA/coq-rust-extraction: 1
- CertiCoq/certicoq: 1
Maintainer
- AU-COBRA/ConCert: 17
Active Maintainer
Issue Author Associations
- Contributor (21, 52.50%)
- None (10, 25.00%)
- Collaborator (9, 22.50%)
Pull Request Author Associations
- Contributor (27, 77.14%)
- Collaborator (8, 22.86%)
Top Issue Labels
- [Type] Task (20)
- documentation (11)
- type: feature (5)
- part: execution (4)
- type: new chain request (3)
- type: enhancement (3)
- type: bug (2)
- part: CameLIGO (2)
- part:derive (2)
- duplicate (1)
- priority-medium (1)
- enhancement (1)
- ๐ฆ lib-compiler (1)
- ๐งช tests (1)
- part: testing (1)
Top Pull Request Labels
- type: refactor (1)
- part: extraction (1)