GitHub / girving issue stats
Total issues: 15
Total pull requests: 11
Merged pull request: 9
Average time to close issues: 12 months
Average time to close pull requests: 20 days
Average comments per issue: 3.53
Average comments per pull request: 1.73
Issues created
- tensorflow/deepmath: 3
- dimagi/django-prbac: 2
- dholm/homebrew-sdr: 1
- surma/rollup-plugin-off-main-thread: 1
- leanprover/lean4-cli: 1
- tensorflow/tensorboard-plugin-example: 1
- leanprover/theorem_proving_in_lean: 1
- Dimillian/IceCubesApp: 1
- camlp5/camlp5: 1
- sveltejs/svelte: 1
- tensorflow/metadata: 1
- laurentmazare/tensorflow-ocaml: 1
Pull requests created
Maintainer
Active Maintainer
Issue Author Associations
- None (11, 73.33%)
- Contributor (4, 26.67%)
Pull Request Author Associations
- Contributor (9, 81.82%)
- None (2, 18.18%)
Top Issue Labels
- enhancement (2)
- feature request (1)
- bug (1)