GitHub / xoltar issue stats
Total issues: 8
Total pull requests: 6
Merged pull request: 5
Average time to close issues: 9 months
Average time to close pull requests: 7 months
Average comments per issue: 3.5
Average comments per pull request: 1.17
Issues created
- fnogatz/swivm: 2
- Frege/frege: 1
- ybainier/Hypodermic: 1
- ziman/idris-py: 1
- Frege/sbt-frege: 1
- wilbowma/cur: 1
- idris-hackers/idris-mode: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (7, 87.50%)
- Contributor (1, 12.50%)
Pull Request Author Associations
- Contributor (5, 83.33%)
- None (1, 16.67%)
Top Issue Labels
- idris compiler bug (1)