GitHub / bernborgess issue stats
Total issues: 8
Total pull requests: 66
Merged pull request: 47
Average time to close issues: about 3 hours
Average time to close pull requests: 19 days
Average comments per issue: 0.38
Average comments per pull request: 0.12
Issues created
Pull requests created
- ufmg-smite/carcara: 27
- bernborgess/lean-cutting-planes: 18
- bernborgess/lingo: 5
- hhu-adam/Robo: 3
- snes9xgit/snes9x: 2
- usebruno/bruno: 1
- gustavo-depaula/stalin-sort: 1
- leanprover-community/tutorials4: 1
- bernborgess/carcara: 1
- ufmg-smite/lean-smt: 1
- Kienyew/CDCL-SAT-Solver-from-Scratch: 1
- alegemaate/s-sl: 1
- bernborgess/tpf-bandeco: 1
- EoSingle/FireUAI: 1
- leanprover-community/lean4-metaprogramming-book: 1
- aserg-ufmg/demo-ci: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (5, 62.50%)
- Contributor (2, 25.00%)
- Collaborator (1, 12.50%)
Pull Request Author Associations
- Collaborator (26, 39.39%)
- Owner (25, 37.88%)
- None (12, 18.18%)
- Contributor (3, 4.55%)
Top Issue Labels
- bug (2)
Top Pull Request Labels
- work-in-progress (1)