Ecosyste.ms: Issues
An open API service for providing issue and pull request metadata for open source projects.
GitHub / ahelwer issue stats
Total issues: 134
Total pull requests: 147
Merged pull request: 121
Average time to close issues: 9 months
Average time to close pull requests: 20 days
Average comments per issue: 3.01
Average comments per pull request: 1.65
Issues created
- tlaplus-community/tree-sitter-tlaplus: 37
- tlaplus/tlaplus: 17
- tree-sitter/tree-sitter: 12
- tlaplus/Examples: 8
- tlaplus/tlapm: 8
- prove-rs/z3.rs: 8
- ahelwer/PaxosCluster: 5
- tlaplus-community/tlauc: 5
- halogenica/beautifulhugo: 3
- agentultra/tlagrammar: 2
- tree-sitter/py-tree-sitter: 2
- tree-sitter/node-tree-sitter: 2
- javacc/javacc: 2
- will62794/mongo-repl-tla-models: 1
- will62794/tla-web: 1
- ahelwer/computerized-mathematics: 1
- tbg/caspaxos-tla: 1
- susliko/tla.nvim: 1
- vrapper/vrapper: 1
- Z3Prover/z3: 1
- aaronraimist/DontFuckWithPaste: 1
- asciinema/agg: 1
- savq/melange-nvim: 1
- vscode-neovim/vscode-neovim: 1
- salesforce/runway-browser: 1
- salesforce/runway-compiler: 1
- tree-sitter/tree-sitter-javascript: 1
- sshnet/SSH.NET: 1
- AllenDowney/ModSimPy: 1
- johnfactotum/foliate: 1
- tree-sitter/tree-sitter-bash: 1
- miyuchina/mistletoe: 1
- j0ru/kickoff: 1
- aome510/spotify-player: 1
- latex-lsp/tree-sitter-latex: 1
- pypa/gh-action-pypi-publish: 1
Pull requests created
- tlaplus-community/tree-sitter-tlaplus: 64
- tlaplus/tlaplus: 27
- tlaplus/Examples: 17
- Z3Prover/FirewallChecker: 12
- tree-sitter/tree-sitter: 8
- tlaplus-community/tlauc: 6
- github/semantic: 2
- tree-sitter/tree-sitter-ruby: 2
- susliko/tla.nvim: 1
- Z3Prover/z3test: 1
- tree-sitter/tree-sitter-bash: 1
- tree-sitter/node-tree-sitter: 1
- ahelwer/PaxosCluster: 1
- halogenica/beautifulhugo: 1
- tlaplus/tlapm: 1
- salesforce/runway-browser: 1
- hackwaly/ocamlearlybird: 1
Maintainer
Active Maintainer
Issue Author Associations
- Contributor (75, 55.97%)
- None (45, 33.58%)
- Collaborator (8, 5.97%)
- Owner (6, 4.48%)
Pull Request Author Associations
- Contributor (126, 85.71%)
- Collaborator (17, 11.56%)
- None (3, 2.04%)
- Owner (1, 0.68%)
Top Issue Labels
- bug (31)
- enhancement (21)
- Tools (6)
- wontfix (5)
- blocked (4)
- cli (4)
- pluscal (3)
- SANY (2)
- DevEnvironment (2)
- Unicode (1)
- regression (1)
- refactoring (1)
- test (1)
- invalid (1)
- not our bug (1)
Top Pull Request Labels
- enhancement (8)
- DevEnvironment (4)
- c-library (2)
- Tools (2)
- to-check (1)
- postponed (1)
- documentation (1)
- SANY (1)
- refactoring (1)
- bug (1)
- Unicode (1)