GitHub / favonia issue stats
Total issues: 371
Total pull requests: 568
Merged pull request: 518
Average time to close issues: 9 months
Average time to close pull requests: 18 days
Average comments per issue: 1.6
Average comments per pull request: 0.89
Issues created
- redprl/asai: 78
- favonia/cloudflare-ddns: 70
- redprl/redtt: 39
- redprl/bantorra: 32
- redprl/agda-mugen: 19
- redprl/yuujinchou: 14
- hott/hott-agda: 11
- redprl/algaett: 10
- redprl/ocaml-bwd: 8
- redprl/algaeff: 7
- redprl/mugen: 7
- cloudflare/cloudflare-go: 6
- redprl/sml-typed-abts: 6
- redprl/kado: 5
- c-cube/ocaml-containers: 5
- RedPRL/cooltt: 3
- docker/metadata-action: 2
- containrrr/shoutrrr: 2
- 1uf3/execinquery: 2
- redprl/sml-telescopes: 2
- ocaml-multicore/domainslib: 2
- ocaml/odoc: 2
- c-cube/qcheck: 2
- golang/go: 2
- ocaml/ocaml: 2
- docker/build-push-action: 2
- ygrek/ocaml-snappy: 1
- artifacthub/hub: 1
- dbuenzli/jsonm: 1
- hashicorp/go-retryablehttp: 1
- jgm/doctemplates: 1
- avsm/ocaml-yaml: 1
- ocaml/setup-ocaml: 1
- pqwy/notty: 1
- google/gmail-oauth2-tools: 1
- dbuenzli/bos: 1
- jellydator/ttlcache: 1
- mvdan/unparam: 1
- kazu-yamamoto/cab: 1
- unimath/symmetrybook: 1
- dbuenzli/fmt: 1
- redprl/actions-ocaml: 1
- uber-go/mock: 1
- ocsigen/lwt: 1
- HoTT/book: 1
- redprl/redprl.github.io: 1
- kong0107/yout-redirect: 1
- leanprover/lean2: 1
- isovector/cornelis: 1
- ossf/scorecard: 1
- haskell/attoparsec: 1
- sivchari/nosnakecase: 1
- mortberg/cubicaltt: 1
- liyishuai/coq-http2: 1
- docker/roadmap: 1
- harvard-edtech/caccl-api: 1
- taffybar/taffybar: 1
Pull requests created
- favonia/cloudflare-ddns: 137
- redprl/asai: 94
- redprl/yuujinchou: 83
- redprl/bantorra: 42
- redprl/agda-mugen: 25
- redprl/redtt: 21
- redprl/algaeff: 18
- redprl/ocaml-bwd: 17
- redprl/mugen: 13
- RedPRL/cooltt: 11
- redprl/sml-typed-abts: 7
- redprl/kado: 6
- ocaml-multicore/domainslib: 5
- hott/hott-agda: 5
- redprl/algaett: 4
- cloudflare/cloudflare-go: 4
- c-cube/ocaml-containers: 3
- craigfe/ppx_effects: 3
- redprl/sml-cats: 3
- favonia/zink: 3
- google/gmail-oauth2-tools: 3
- containrrr/shoutrrr: 2
- avsm/ocaml-yaml: 2
- sivchari/nosnakecase: 2
- yaml/libyaml: 2
- jgm/doctemplates: 2
- dbuenzli/jsonm: 2
- fxfactorial/ocaml-emoji: 2
- redprl/sml-telescopes: 2
- mvdan/unparam: 1
- github-education-resources/classroom: 1
- snapframework/snap-benchmarks: 1
- snapframework/snap-server: 1
- Haxxnet/Compose-Examples: 1
- jonsterling/ocaml-forester: 1
- andrejbauer/clerical: 1
- guillaumebrunerie/initiality: 1
- dbuenzli/cmdliner: 1
- redprl/sml-json: 1
- HoTT/book: 1
- isovector/cornelis: 1
- dbuenzli/bos: 1
- kit-ty-kate/opam-alpha-repository: 1
- pqwy/notty: 1
- jaspervdj/hakyll: 1
- ocaml-multicore/awesome-multicore-ocaml: 1
- google/clasp: 1
- adriamontoto/make-my-server: 1
- uber-go/mock: 1
- carpenike/vyos-config: 1
- jozefg/blott: 1
- haskell/attoparsec: 1
- mortberg/cubicaltt: 1
- 1uf3/execinquery: 1
- drup/ocaml-lmdb: 1
- chrisbjr/bhome-lab: 1
- ocaml/setup-ocaml: 1
- tquin/ansible: 1
- unimath/symmetrybook: 1
- timothymiller/cloudflare-ddns: 1
- jimbly/regex-crossword: 1
- codacy/codacy-coverage-reporter: 1
- c-cube/qcheck: 1
- docker/build-push-action: 1
- dbuenzli/fmt: 1
- kubernetes/kompose: 1
- snapframework/snap-loader-dynamic: 1
- matteocavestri/homelab: 1
- mirage/mirage-kv-unix: 1
- mirage/alcotest: 1
- budimanjojo/vyos-config: 1
- xmonad/xmonad-testing: 1
- docker/metadata-action: 1
- robfig/cron: 1
Maintainer
- favonia/cloudflare-ddns: 207
- redprl/yuujinchou: 97
- redprl/bantorra: 74
- redprl/redtt: 60
- RedPRL/cooltt: 14
- favonia/zink: 3
- HoTT/book: 2
- fxfactorial/ocaml-emoji: 2
- liyishuai/coq-http2: 1
Active Maintainer
Issue Author Associations
- Contributor (190, 51.21%)
- Collaborator (90, 24.26%)
- Owner (70, 18.87%)
- None (21, 5.66%)
Pull Request Author Associations
- Contributor (241, 42.43%)
- Collaborator (160, 28.17%)
- Owner (140, 24.65%)
- None (27, 4.75%)
Top Issue Labels
- enhancement (70)
- question (21)
- documentation (20)
- help wanted (18)
- low priority (18)
- logging (16)
- tty (14)
- bug (13)
- proposal (12)
- good first issue (8)
- blocked (7)
- Thought (5)
- design? (4)
- kind/enhancement (3)
- testing (3)
Top Pull Request Labels
- enhancement (6)
- bug (4)
- tty (3)
- cla: yes (1)
- kind/feature (1)
- lgtm (1)
- cncf-cla: yes (1)
- size/M (1)
- approved (1)
- dependencies (1)
- question (1)
- evaluator (1)