Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / jonleivent issue stats
Total issues: 53
Total pull requests: 2
Merged pull request: 2
Average time to close issues: about 2 months
Average time to close pull requests: about 9 hours
Average comments per issue: 8.43
Average comments per pull request: 0.0
Issues created
- ProofGeneral/PG: 17
- LBCrion/sfwbar: 4
- siegebell/vscoq: 4
- labwc/labwc: 3
- talex5/wayland-proxy-virtwl: 3
- netblue30/firetools: 2
- Smithay/wayland-rs: 2
- coq/coq: 2
- cpitclaudel/company-coq: 2
- matthieu-m/ghost-cell: 2
- gmalecha/coq-ltac-iter: 2
- consolatis/wl_framework: 1
- rfjakob/gocryptfs: 1
- taiki-e/cargo-llvm-cov: 1
- jasongross/coq-tools: 1
- hanwen/go-fuse: 1
- mviereck/x11docker: 1
- ahrm/sioyek: 1
- containers/bubblewrap: 1
- coq-community/coq-dpdgraph: 1
- mviereck/dockerfile-x11docker-xserver: 1
Maintainer
Active Maintainer
Issue Author Associations
- None (53, 100.00%)
Pull Request Author Associations
- Contributor (2, 100.00%)
Top Issue Labels
- bug (6)
- enhancement (2)
- part: tactics (2)
- kind: bug (2)
- later (1)
- blocked (1)
- resolved: duplicate (1)
- C-upstream-bug (1)