GitHub / stepchowfun issue stats
Total issues: 4
Total pull requests: 1,331
Merged pull request: 1,305
Average time to close issues: 15 days
Average time to close pull requests: about 9 hours
Average comments per issue: 6.5
Average comments per pull request: 0.02
Issues created
Pull requests created
- stepchowfun/proofs: 235
- stepchowfun/typical: 175
- stepchowfun/tagref: 173
- stepchowfun/paxos: 165
- stepchowfun/docuum: 136
- stepchowfun/toast: 129
- stepchowfun/dotfiles: 126
- stepchowfun/stem-cell: 101
- stepchowfun/hashpass: 54
- stepchowfun/base16-circus-scheme: 23
- stepchowfun/pico: 7
- vishvananda/netns: 2
- go-zoo/bone: 1
- mongodb-js/zstd: 1
- banacorn/agda-mode-vscode: 1
- Homebrew/homebrew-core: 1
- juliahw/juliaspies: 1
Maintainer
- stepchowfun/proofs: 235
- stepchowfun/typical: 175
- stepchowfun/tagref: 173
- stepchowfun/paxos: 165
- stepchowfun/docuum: 136
- stepchowfun/toast: 129
- stepchowfun/dotfiles: 126
- stepchowfun/stem-cell: 101
- stepchowfun/hashpass: 54
- stepchowfun/base16-circus-scheme: 23
- stepchowfun/pico: 7
Active Maintainer
Issue Author Associations
- None (4, 100.00%)
Pull Request Author Associations
- Owner (1,324, 99.47%)
- Contributor (5, 0.38%)
- None (2, 0.15%)
Top Issue Labels
- kind/bug (1)
- bug (1)
- P-medium (1)
- fixed by new code generator (1)
Top Pull Request Labels
- new formula (1)
- rust (1)
- superseded (1)
- outdated (1)
- automerge-skip (1)
- autosquash (1)