Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / UlfNorell issue stats
Total issues: 15
Total pull requests: 119
Merged pull request: 115
Average time to close issues: 18 days
Average time to close pull requests: 1 day
Average comments per issue: 1.73
Average comments per pull request: 0.61
Issues created
Pull requests created
- aeternity/aesophia: 46
- wenkokke/schmitty: 19
- aeternity/aebytecode: 15
- agda/agda: 9
- josefs/Gradualizer: 8
- aeternity/aesophia_cli: 6
- aeternity/protocol: 4
- aeternity/aesophia_http: 3
- ulfnorell/agda-prelude: 2
- mtgto/edocset: 1
- nick8325/quickcheck: 1
- andreasabel/meeting-logic-and-types-2018: 1
- limechain/aepp-token-migration-smart-contract: 1
- target/row-types: 1
- Bluehouse-Technology/grpc: 1
- basho/sidejob: 1
Maintainer
- wenkokke/schmitty: 21
- josefs/Gradualizer: 13
- agda/agda: 10
- ulfnorell/agda-prelude: 2
- nick8325/quickcheck: 1
Active Maintainer
Issue Author Associations
- Collaborator (7, 46.67%)
- Contributor (5, 33.33%)
- None (2, 13.33%)
- Member (1, 6.67%)
Pull Request Author Associations
- Contributor (79, 66.39%)
- Collaborator (28, 23.53%)
- Member (9, 7.56%)
- Owner (2, 1.68%)
- None (1, 0.84%)
Top Issue Labels
- enhancement (4)
- good first issue (4)
- bug (3)
- upstream (2)
- team:VM (1)
- type: bug (1)
- false (1)
- maculata (1)
- type-based-termination (1)
Top Pull Request Labels
- performance (2)
- operators (2)
- mutual (2)
- generalize (2)
- refactor (1)
- parameters (1)