GitHub / VojtechStep issue stats
Total issues: 25
Total pull requests: 110
Merged pull request: 97
Average time to close issues: 4 months
Average time to close pull requests: 7 days
Average comments per issue: 1.76
Average comments per pull request: 3.15
Issues created
Pull requests created
- UniMath/agda-unimath: 85
- fredrik-bakke/agda-unimath: 4
- LPCIC/coq-elpi: 4
- pokusew/node-pcsclite: 3
- alacritty/vte: 2
- nix-community/home-manager: 2
- vojtechstep/jscoq-nix: 1
- pdobsan/oama: 1
- Zimmi48/coq-nix-toolbox: 1
- catppuccin/mdBook: 1
- autopilot-rs/autopilot-rs: 1
- EgbertRijke/agda-unimath: 1
- lang-talk/meetups: 1
- the1lab/1lab: 1
- vojtechstep/catalean: 1
- MatejKafka/js2ahk: 1
Maintainer
Active Maintainer
Issue Author Associations
- Collaborator (12, 48.00%)
- Contributor (7, 28.00%)
- None (5, 20.00%)
- Owner (1, 4.00%)
Pull Request Author Associations
- Collaborator (67, 60.91%)
- Contributor (29, 26.36%)
- None (12, 10.91%)
- Owner (2, 1.82%)
Top Issue Labels
- synthetic-homotopy-theory (6)
- enhancement (4)
- bug (3)
- website (3)
- help wanted (3)
- cleanup (2)
- CI (2)
- foundation (2)
- priority/backlog (1)
- area/documentation (1)
- type/bug (1)
- formalization-target (1)
- needs: triage (1)
- kind: bug (1)
- structured-types (1)
Top Pull Request Labels
- synthetic-homotopy-theory (25)
- website (20)
- enhancement (18)
- fix (17)
- foundation (12)
- CI (11)
- repo-maintenance (7)
- tooling (5)
- documentation (5)
- refactoring (4)
- literature (3)
- bug (3)
- reflection (2)
- mathswitch (1)
- guides (1)