Generate GitHub PR descriptions from the command line with the help of AI. propr aims to populate a basic PR description right from your terminal so you can focus on more important things.
active 2023-08-18 → 2024-02-08 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 175 days from 2023-08-18 to 2024-02-08. Pushes: 42 total, peak 22 in a day. Pull requests: 4 total, peak 4 in a day. Issues: 3 total, peak 1 in a day. Comments: 3 total, peak 2 in a day. Stars: 2 total, peak 1 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 |
|---|---|---|---|---|
| segersniels | 51 | 42 | 4 | 3 |
| mcheung610 | 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 — 2 stars here means stars gained during the window, not the repo's star count.