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

GitHub / EvaristeGalois11 issue stats

Total issues: 4
Total pull requests: 35
Merged pull request: 31
Average time to close issues: 6 months
Average time to close pull requests: 11 days
Average comments per issue: 5.25
Average comments per pull request: 2.43


Maintainer

Active Maintainer


Issue Author Associations

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

Pull Request Author Associations

  • Contributor (26, 74.29%)
  • Member (9, 25.71%)

Top Issue Labels

  • package problem (1)
  • type: enhancement (1)
  • type: build (1)
  • enhancement (1)
  • in: test (1)
  • in: web (1)
  • status: superseded (1)

Top Pull Request Labels

  • type: build (10)
  • type: enhancement (4)
  • dependencies (4)
  • component: core (3)
  • type: documentation (3)
  • java (3)
  • type: bug (2)
  • component: junit (2)
  • type: tests (1)
  • type/enhancement (1)