Ecosyste.ms: Issues

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

GitHub / squareteam issue stats

Total issues: 20
Total pull requests: 3
Merged pull request: 3
Average time to close issues: 17 days
Average time to close pull requests: 6 minutes
Average comments per issue: 0.7
Average comments per pull request: 0.67

Issues created

squareteam/angular-coq: 12
squareteam/angular-fancy-url: 4
squareteam/yodatra: 4

Pull requests created

squareteam/angular-coq: 1
squareteam/angular-fancy-url: 1
squareteam/yodatra: 1

Issue owner Associations

Contributor (19, 95.00%)
None (1, 5.00%)

Pull Request owner Associations

Contributor (3, 100.00%)

All Maintainers

Active Maintainers

Top Issue Authors

charlypoly (15)
paulRbr (5)

Top Pull Request Authors

charlypoly (2)
paulRbr (1)

Top Issue Labels

enhancement (13)
coq:directives (5)
bug (4)
gh:issue (4)
coq:model (3)
feature (2)
performance (2)
invalid (2)
priority:medium (2)
proposal (2)
priority:low (2)
coq:finders (2)
coq:factory (2)
coq-model-attribute (1)
coq-model (1)

Top Pull Request Labels

enhancement (2)
gh:pr (1)
coq:factory (1)
coq:model (1)
coq:finders (1)