Ecosyste.ms: Issues

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

GitHub / atiti issue stats

Total issues: 194
Total pull requests: 4
Merged pull request: 3
Average time to close issues: 11 months
Average time to close pull requests: 9 days
Average comments per issue: 1.9
Average comments per pull request: 0.5

Issues created

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

  • Collaborator (192, 98.97%)
  • Contributor (2, 1.03%)

Pull Request Author Associations

  • Contributor (3, 75.00%)
  • None (1, 25.00%)

Top Issue Labels

  • defect (119)
  • ESC/Java2 (88)
  • task (53)
  • Mobius Trac (30)
  • enhancement (20)
  • MobiusEclipseIntegration (14)
  • BML (10)
  • Mobius PVE (8)
  • ESC/Java2 Plugin/Feature (6)
  • Prover Maintenance (4)
  • FreeBoogie (4)
  • Logging (4)
  • Simplify (4)
  • ProverMaint (2)
  • ESCJava (2)

Top Pull Request Labels