Ecosyste.ms: Issues

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

GitHub / morphismz issue stats

Total issues: 1
Total pull requests: 12
Merged pull request: 11
Average time to close issues: N/A
Average time to close pull requests: 6 days
Average comments per issue: 0.0
Average comments per pull request: 4.67

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Contributor (1, 100.00%)

Pull Request Author Associations

  • Contributor (12, 100.00%)

Top Issue Labels

  • synthetic-homotopy-theory (1)
  • formalization-target (1)

Top Pull Request Labels

  • synthetic-homotopy-theory (10)
  • foundation (4)
  • refactoring (1)