GitHub / jonaprieto issue stats
Total issues: 140
Total pull requests: 62
Merged pull request: 53
Average time to close issues: 2 months
Average time to close pull requests: 12 days
Average comments per issue: 1.31
Average comments per pull request: 1.39
Issues created
- jonaprieto/online-atps: 30
- jonaprieto/agda-prop: 18
- jonaprieto/agda-metis: 15
- jonaprieto/flask-ponywhoosh: 14
- agda/agda-pkg: 13
- asr/apia: 8
- agda/package-index: 4
- anoma/juvix-mkdocs: 4
- c272/iro4cli: 3
- banacorn/agda-mode-vscode: 3
- rhysd/Shiba: 2
- fralau/mkdocs-macros-plugin: 2
- realtimeprojects/mkdocs-ezglossary: 2
- 71/dance: 2
- benhoyt/scandir: 2
- UniMath/agda-unimath: 2
- microsoft/vscode-extension-samples: 1
- banacorn/agda-mode-st3: 1
- leotac/julia-cuts: 1
- freetonik/castlemacs: 1
- oprypin/mkdocs-literate-nav: 1
- liuxinyu95/AlgoXY: 1
- otfried/ipe: 1
- ivantsepp/jekyll-git_metadata: 1
- haskell-actions/run-ormolu: 1
- simonmichael/shelltestrunner: 1
- jaxxstorm/action-install-gh-release: 1
- facelessuser/pyspelling: 1
- haskell/stylish-haskell: 1
- Koromix/rygel: 1
- rust-lang/mdBook: 1
- parpalak/upmath.me: 1
Pull requests created
- asr/apia: 18
- jonaprieto/online-atps: 9
- jonaprieto/agda-metis: 8
- anoma/juvix-mkdocs: 6
- jonaprieto/flask-ponywhoosh: 4
- jonaprieto/agda-prop: 3
- agda/agda-pkg: 2
- banacorn/agda-mode-vscode: 2
- hott/hott-agda: 2
- EgbertRijke/HoTT-Intro: 1
- jaxxstorm/action-install-gh-release: 1
- plesiv/hac: 1
- freckle/stack-action: 1
- jonaprieto/ponywhoosh: 1
- asr/fotc: 1
- humiaozuzu/awesome-flask: 1
- pallets/flask-website: 1
Maintainer
Active Maintainer
Issue Author Associations
- Owner (77, 55.00%)
- None (28, 20.00%)
- Member (17, 12.14%)
- Collaborator (14, 10.00%)
- Contributor (4, 2.86%)
Pull Request Author Associations
- Owner (25, 40.32%)
- Collaborator (24, 38.71%)
- Contributor (9, 14.52%)
- Member (2, 3.23%)
- None (2, 3.23%)
Top Issue Labels
- enhancement (35)
- new-option (14)
- documentation (11)
- bug (10)
- help wanted (9)
- type: bug (5)
- command-option (5)
- canonicalize (5)
- required (5)
- requiered-theorem (4)
- urgent (4)
- clausify (3)
- resolve (3)
- test-suite (2)
- opportunity-to-contribute (2)
Top Pull Request Labels
- enhancement (4)
- maintenance (2)
- fix:bug (2)
- git-management (1)
- command-option (1)
- strip (1)
- travis (1)
- online-atps (1)
- command-line-options (1)
- type: enhancement (1)
- test-suite (1)
- documentation (1)