Skip to content

dkorolev/regal-github-integration

View on GitHub ↗Related repositories →

Make `regal`, the Rego linter, leave comments in the PRs.

active 2023-08-21 → 2023-08-22 (UTC)

Complete coverage27,840 / 27,840 hourly files (100%) · 2 absent upstream2023-08-15 → 2026-10-17 (UTC)
Events
78
Pushes
25
Pull requests
18
Issues
0
Stars
0
Forks
0

Activity over time

Daily event counts in the loaded window

Line chart, 2 days from 2023-08-21 to 2023-08-22. Pushes: 25 total, peak 24 in a day. Pull requests: 18 total, peak 18 in a day. Issues: 0 total, peak 0 in a day. Comments: 19 total, peak 19 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

ContributorContributionsPushesPRsComments
dkorolev68251819

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.