GitHub / DeveloperRob issue stats
Total issues: 16
Total pull requests: 4
Merged pull request: 3
Average time to close issues: 3 months
Average time to close pull requests: 1 day
Average comments per issue: 0.75
Average comments per pull request: 1.5
Issues created
Pull requests created
- phan/phan: 2
- php/doc-en: 2
Maintainer
Active Maintainer
Issue Author Associations
- None (9, 56.25%)
- Contributor (7, 43.75%)
Pull Request Author Associations
- Contributor (3, 75.00%)
- None (1, 25.00%)
Top Issue Labels
- type/bug (2)
- Feature (2)
- Status: Needs Triage (2)
- enhancement (1)
- redundant condition detection (1)
- type: feature request (1)
- priority: p2 (1)
- api: iam (1)
- Category: Engine (1)
- Extension: standard (1)
- Bug (1)
- Extension: mysqlnd (1)
- Status: Verified (1)