Ecosyste.ms: Issues

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

GitHub / arthur-adjedj issue stats

Total issues: 1
Total pull requests: 3
Merged pull request: 0
Average time to close issues: N/A
Average time to close pull requests: 10 months
Average comments per issue: 0.0
Average comments per pull request: 11.33

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Contributor (1, 100.00%)

Pull Request Author Associations

  • Contributor (3, 100.00%)

Top Issue Labels

  • bug (1)
  • P-low (1)

Top Pull Request Labels

  • toolchain-available (3)
  • awaiting-review (2)
  • breaks-mathlib (2)
  • P-medium (2)
  • builds-mathlib (1)
  • WIP (1)