Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / gebner issue stats
Total issues: 65
Total pull requests: 155
Merged pull request: 115
Average time to close issues: 4 months
Average time to close pull requests: 27 days
Average comments per issue: 2.58
Average comments per pull request: 1.96
Issues created
- gapt/gapt: 36
- leanprover/vscode-lean4: 10
- leanprover-community/doc-gen: 7
- leanprover-contrib/lean-upgrade-action: 3
- leanprover/elan: 2
- leanprover-community/mathlib4: 2
- actions/upload-artifact: 1
- leanprover-contrib/update-versions-action: 1
- izuzak/github_issue_stats: 1
- leanprover-community/mathlib-tools: 1
- pali/hsphfpd-prototype: 1
Pull requests created
- leanprover-community/doc-gen: 41
- leanprover-community/mathlib4: 37
- gapt/gapt: 37
- leanprover-community/mathlib: 15
- leanprover/elan: 8
- leanprover/vscode-lean4: 5
- leanprover-community/mathlib-tools: 3
- sheimi/SGit: 1
- wmorgan/leveldb-ruby: 1
- microsoft/node-native-keymap: 1
- NixOS/nix: 1
- xmpppy/xmpppy: 1
- mmaroti/cadical-rs: 1
- NixOS/systemd: 1
- tpaviot/oce: 1
- cgag/loc: 1
Maintainer
Active Maintainer
Issue Author Associations
- Member (58, 89.23%)
- None (7, 10.77%)
Pull Request Author Associations
- Member (148, 95.48%)
- Contributor (6, 3.87%)
- None (1, 0.65%)
Top Issue Labels
- Bug :beetle: (25)
- Enhancement (4)
- Potential Student Project :mortar_board: (4)
- 💩 ⊢ ⊥ (2)
- Prooftool :microscope: (2)
- User Manual 📙 (2)
- bug (1)
- nice to have (1)
Top Pull Request Labels
- Enhancement (8)
- WIP (2)
- cla-not-required (1)
- feature (1)
- UX (1)
- nix-shell (1)
- enhancement (1)