Ecosyste.ms: Issues

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

GitHub / palmskog issue stats

Total issues: 215
Total pull requests: 643
Merged pull request: 617
Average time to close issues: 6 months
Average time to close pull requests: 11 days
Average comments per issue: 5.39
Average comments per pull request: 0.81

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Member (103, 47.91%)
  • Collaborator (66, 30.70%)
  • Contributor (38, 17.67%)
  • None (8, 3.72%)

Pull Request Author Associations

  • Member (353, 54.90%)
  • Collaborator (178, 27.68%)
  • Contributor (110, 17.11%)
  • None (2, 0.31%)

Top Issue Labels

  • move-project (37)
  • coq-library (28)
  • kind: package inclusion (27)
  • approval: has maintainer agreement (24)
  • maintainer-wanted (16)
  • meta (9)
  • change-maintainer (7)
  • coq-plugin (7)
  • coq-extraction (5)
  • enhancement (5)
  • needs: prerequisites (4)
  • kind: bug (3)
  • kind: upstream (3)
  • platform: macOS (2)
  • platform: windows (2)

Top Pull Request Labels

  • kind: bug (12)
  • kind: testing (8)
  • kind: enhancement (3)
  • kind: upstream (3)
  • enhancement (1)
  • internal (1)
  • part: async (1)
  • kind: documentation (1)