Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / philnguyen issue stats

Total issues: 6
Total pull requests: 4
Merged pull request: 3
Average time to close issues: 7 minutes
Average time to close pull requests: 1 day
Average comments per issue: 0.17
Average comments per pull request: 1.25

Issues created

philnguyen/json-type-provider: 2
philnguyen/termination: 1
philnguyen/traces: 1
philnguyen/typed-racket-hacks: 1
philnguyen/unreachable: 1

Pull requests created

philnguyen/z3-rkt: 2
philnguyen/termination: 1
philnguyen/set-extras: 1

Issue owner Associations

None (5, 83.33%)
Owner (1, 16.67%)

Pull Request owner Associations

Contributor (2, 50.00%)
None (2, 50.00%)

All Maintainers

philnguyen (1)

Active Maintainers

Top Issue Authors

rfindler (3)
philnguyen (1)
wilbowma (1)
winny- (1)

Top Pull Request Authors

samth (2)
jeapostrophe (1)
tchajed (1)