Query engine and pattern matcher
active 2023-10-18 → 2025-03-11 (UTC)
Complete coverage28,525 / 28,525 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-11-15 (UTC)
Events
2.7K
Pushes
710
Pull requests
332
Issues
318
Stars
0
Forks
3
Activity over time
Daily event counts in the loaded window
Line chart, 511 days from 2023-10-18 to 2025-03-11. Pushes: 710 total, peak 33 in a day. Pull requests: 332 total, peak 8 in a day. Issues: 318 total, peak 11 in a day. Comments: 303 total, peak 17 in a day. Stars: 0 total, peak 0 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| andre-senna | 732 | 188 | 79 | 149 |
| marcocapozzoli | 541 | 192 | 115 | 63 |
| levisingularity | 265 | 133 | 66 | 22 |
| eddiebrissow | 167 | 87 | 41 | 13 |
| angeloprobst | 160 | 63 | 30 | 18 |
| github-actions[bot] | 47 | 47 | 0 | 0 |
| Necr0x0Der | 22 | 0 | 0 | 15 |
| Pedrobc89 | 21 | 0 | 0 | 11 |
| CICS-Oleg | 19 | 0 | 1 | 12 |
| mjsduncan | 2 | 0 | 0 | 0 |
| arturgontijo | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
Totals cover only the window loaded into ClickHouse and count events, not GitHub's lifetime totals — 0 stars here means stars gained during the window, not the repo's star count.