GitHub / andrevidela issue stats
Total issues: 22
Total pull requests: 29
Merged pull request: 21
Average time to close issues: 27 days
Average time to close pull requests: 22 days
Average comments per issue: 3.0
Average comments per pull request: 1.48
Issues created
Pull requests created
- idris-lang/Idris2: 11
- chiroptical/declarative-programming-streams: 3
- gallais/idris-tparsec: 3
- ohad/collie: 1
- huwcampbell/optparse-idris: 1
- solatis/haskell-hexstring: 1
- goldfirere/units: 1
- a1kmm/http4idris: 1
- andrevidela/jsonwrapper: 1
- ziman/idris-bytes: 1
- ethereum/act: 1
- edwinb/yaffle: 1
- idris-lang/idris-lang.github.io: 1
- typedefs/typedefs.js: 1
- edwinb/splv20: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (14, 63.64%)
- None (7, 31.82%)
- Contributor (1, 4.55%)
Pull Request Author Associations
- Collaborator (12, 41.38%)
- Contributor (10, 34.48%)
- None (6, 20.69%)
- Owner (1, 3.45%)
Top Issue Labels
- Feature request (3)
- error: bad message (2)
- bug (1)
- implem: interface elaboration (1)
- error: warning (1)
- status: bikeshedding (1)
- language: parameter blocks (1)
- implem: parsing (1)
- enhancement (1)
Top Pull Request Labels
- enhancement (2)
- language: fixity (1)
- documentation (1)
- bug (1)