GitHub / jihgfee issue stats

Total issues: 15
Total pull requests: 26
Merged pull request: 22
Average time to close issues: 15 days
Average time to close pull requests: 7 days
Average comments per issue: 0.13
Average comments per pull request: 0.23

Issues created

logsem/iris-lecture-notes: 11
logsem/aneris: 4

Pull requests created

Maintainer

Active Maintainer

Issue Author Associations

Collaborator (11, 73.33%)
Contributor (4, 26.67%)

Pull Request Author Associations

Contributor (21, 80.77%)
Collaborator (5, 19.23%)

Top Issue Labels

Top Pull Request Labels