GitHub / UlfNorell issue stats
Total issues: 23
Total pull requests: 93
Merged pull request: 90
Average time to close issues: 28 days
Average time to close pull requests: 6 days
Average comments per issue: 2.26
Average comments per pull request: 0.86
Issues created
Pull requests created
- aeternity/aesophia: 24
- aeternity/aebytecode: 15
- agda/agda: 14
- wenkokke/schmitty: 13
- josefs/Gradualizer: 8
- aeternity/protocol: 4
- aeternity/aesophia_cli: 3
- aeternity/aesophia_http: 3
- limechain/aepp-token-migration-smart-contract: 1
- agda/cubical: 1
- target/row-types: 1
- andreasabel/meeting-logic-and-types-2018: 1
- nick8325/quickcheck: 1
- Bluehouse-Technology/grpc: 1
- mtgto/edocset: 1
- ulfnorell/agda-prelude: 1
- basho/sidejob: 1
Maintainer
- agda/agda: 18
- wenkokke/schmitty: 14
- josefs/Gradualizer: 13
- agda/cubical: 1
- ulfnorell/agda-prelude: 1
- nick8325/quickcheck: 1
Active Maintainer
- agda/agda: 14
- ulfnorell/agda-prelude: 1
- agda/cubical: 1
Issue Author Associations
- Contributor (10, 43.48%)
- Collaborator (6, 26.09%)
- Member (4, 17.39%)
- None (3, 13.04%)
Pull Request Author Associations
- Contributor (54, 58.06%)
- Collaborator (22, 23.66%)
- Member (15, 16.13%)
- Owner (1, 1.08%)
- None (1, 1.08%)
Top Issue Labels
- bug (4)
- enhancement (3)
- good first issue (3)
- team:VM (2)
- type: bug (2)
- auto (2)
- upstream (1)
- false (1)
- maculata (1)
- type-based-termination (1)
- type: enhancement (1)
- meta (1)
- performance (1)
- sharing (1)
- constraints (1)
Top Pull Request Labels
- performance (3)
- Mimer (3)
- refactor (2)
- operators (2)
- mutual (1)
- generalize (1)
- parameters (1)
- unification (1)
- reflection (1)
- with (1)
- devx (1)
- auto (1)
- pr: squash-me (1)
- ux: error reporting (1)
- constraints (1)