GitHub / omelkonian issue stats
Total issues: 49
Total pull requests: 49
Merged pull request: 39
Average time to close issues: 20 days
Average time to close pull requests: about 1 month
Average comments per issue: 0.82
Average comments per pull request: 2.02
Issues created
- omelkonian/dyck: 9
- omelkonian/AlgoRhythm: 8
- agda/agda2hs: 5
- omelkonian/hs-pattrans: 5
- inveniosoftware/invenio-webhooks: 4
- agda/agda: 3
- konstantinoskokos/dyck-paper: 2
- omelkonian/rewrite-inspector: 2
- inveniosoftware/invenio-sse: 2
- inveniosoftware/invenio-base: 1
- intersectmbo/formal-ledger-specifications: 1
- inveniosoftware/invenio-migrator: 1
- inveniosoftware/invenio-access: 1
- inveniosoftware/invenio-deposit: 1
- agda/agda-stdlib-classes: 1
- inveniosoftware/flask-iiif: 1
- inveniosoftware/invenio-assets: 1
- omelkonian/setup-agda: 1
Pull requests created
- inveniosoftware/invenio-sequencegenerator: 9
- agda/agda2hs: 7
- inveniosoftware/invenio-webhooks: 7
- agda/agda-stdlib-classes: 6
- CERNDocumentServer/cds-sorenson: 4
- omelkonian/hs-pattrans: 3
- inveniosoftware/flask-iiif: 2
- inveniosoftware/invenio-sse: 2
- inveniosoftware/invenio-pidstore: 2
- haskell/actions: 2
- actions/setup-haskell: 1
- inveniosoftware/invenio-deposit: 1
- inveniosoftware/invenio-formatter: 1
- agda/agda: 1
- inveniosoftware/invenio-migrator: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (25, 51.02%)
- Contributor (16, 32.65%)
- None (4, 8.16%)
- Collaborator (4, 8.16%)
Pull Request Author Associations
- Contributor (38, 77.55%)
- Collaborator (6, 12.24%)
- Owner (3, 6.12%)
- None (2, 4.08%)
Top Issue Labels
- enhancement (12)
- Type: bug (6)
- Size: easy (5)
- bug (3)
- levels (2)
- type: bug (2)
- modules (2)
- prelude (1)
- error-reporting (1)
- question (1)
- CI (1)
- documentation (1)
- status: duplicate (1)
- internal-error (1)
- generalize (1)
Top Pull Request Labels
- Type: new feature (5)
- Type: enhancement (4)
- enhancement (3)
- Type: bug (3)
- Need: tests (3)
- Size: hard (2)
- re: cache (1)
- Status: wontfix (1)
- Status: in review (1)
- agda-mode (1)
- backends (1)
- aim (1)
- documentation (1)
- CI (1)