Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / mgudemann issue stats
Total issues: 43
Total pull requests: 67
Merged pull request: 54
Average time to close issues: 4 months
Average time to close pull requests: 4 days
Average comments per issue: 1.4
Average comments per pull request: 0.73
Issues created
- intersectmbo/cardano-ledger: 22
- mgudemann/sat-solver: 5
- obcode/glabs: 2
- rksm/org-ai: 2
- mgudemann/iimc: 2
- mhagger/git-imerge: 1
- sdiehl/arithmetic-circuits: 1
- sdiehl/elliptic-curve: 1
- entropia/tip-toi-reveng: 1
- diffblue/cbmc: 1
- flycheck/flycheck: 1
- hallettj/git-format-staged: 1
- flycheck/flycheck-mercury: 1
- sylvainhalle/papershell: 1
- mgudemann/liascriptcourses: 1
Pull requests created
- intersectmbo/cardano-ledger: 27
- diffblue/deeptest-utils: 13
- mgudemann/sat-solver: 7
- intersectmbo/cardano-base: 4
- hm-aemy/hm-aemy.github.io: 3
- mgudemann/iimc: 2
- wallento/bbb-scrape: 2
- mgudemann/sct: 2
- obcode/glabs: 1
- hallettj/git-format-staged: 1
- mgudemann/liascriptcourses: 1
- sdiehl/bulletproofs: 1
- not-an-aardvark/lucky-commit: 1
- matter-labs/awesome-zero-knowledge-proofs: 1
- diffblue/cbmc: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (26, 60.47%)
- None (8, 18.60%)
- Owner (8, 18.60%)
- Collaborator (1, 2.33%)
Pull Request Author Associations
- Contributor (52, 77.61%)
- Owner (12, 17.91%)
- None (3, 4.48%)
Top Issue Labels
- :gear: executable-model (19)
- bug (4)
- enhancement (2)
- :scroll: formal-spec (2)
- maintenance (1)
- :microscope: research (1)