Source files of the coq.inria.fr website (static part)
active 2023-08-19 → 2024-12-21 (UTC)
Partial coverage20,519 / 26,275 hourly files (78%) · 2 absent upstream · 5,753 failed, retryable2023-08-15 → 2026-08-13 (UTC)— sampled evenly across the window, so rankings and trends hold; absolute counts scale up.
Events
130
Pushes
20
Pull requests
21
Issues
11
Stars
0
Forks
2
Activity over time
Daily event counts in the loaded window
Line chart, 491 days from 2023-08-19 to 2024-12-21. Pushes: 20 total, peak 8 in a day. Pull requests: 21 total, peak 4 in a day. Issues: 11 total, peak 9 in a day. Comments: 51 total, peak 11 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 |
|---|---|---|---|---|
| Zimmi48 | 57 | 13 | 5 | 23 |
| maximedenes | 12 | 4 | 8 | 0 |
| gasche | 11 | 0 | 0 | 6 |
| huynhtrankhanh | 8 | 0 | 1 | 5 |
| gares | 5 | 2 | 2 | 1 |
| silene | 4 | 0 | 0 | 2 |
| brandenburg | 4 | 0 | 1 | 3 |
| mattam82 | 3 | 1 | 1 | 1 |
| herbelin | 3 | 0 | 0 | 2 |
| jp-diegidio | 3 | 0 | 0 | 3 |
| RalfJung | 2 | 0 | 0 | 1 |
| gmalecha | 2 | 0 | 1 | 1 |
| SkySkimmer | 2 | 0 | 1 | 1 |
| JasonGross | 2 | 0 | 0 | 1 |
| palmskog | 1 | 0 | 0 | 1 |
| Lysxia | 1 | 0 | 1 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#246Lysxia2024-12-21 10:49
- Issue comment#245gmalecha2024-12-13 19:06Change BedRock Systems to BlueRock Security
- Pull request#245gmalecha2024-11-11 00:54
- Issue comment#237mattam822024-03-07 07:39Remove "consortium support services" section
- Pull request#240mattam822024-03-07 07:30
- Issue comment#237SkySkimmer2024-01-23 08:35Remove "consortium support services" section
- Pull request#237SkySkimmer2024-01-23 08:35
- Issue#235Zimmi482023-12-22 16:45Links with anchors do not redirect properly
- Pull request#236Zimmi482023-12-22 16:45
- Issue comment#235RalfJung2023-12-22 07:40Links with anchors do not redirect properly
- Issue comment#235brandenburg2023-12-21 22:01Links with anchors do not redirect properly
- Pull request#236brandenburg2023-12-21 21:53
- Issue comment#235brandenburg2023-12-21 21:23Links with anchors do not redirect properly
- Issue comment#235Zimmi482023-12-21 17:04Links with anchors do not redirect properly
- Issue comment#235brandenburg2023-12-21 13:43Links with anchors do not redirect properly
- Issue comment#231jp-diegidio2023-11-12 17:01HTML redirects are cached by the browser.
- Issue comment#231jp-diegidio2023-11-12 16:52HTML redirects are cached by the browser.
- Issue comment#231Zimmi482023-11-12 16:32HTML redirects are cached by the browser.
- Issue comment#231jp-diegidio2023-11-12 15:00HTML redirects are cached by the browser.
- Issue comment#233Zimmi482023-10-15 18:11Remaining things to fix after GitHub Pages migration.
- Issue comment#233palmskog2023-10-15 17:57Remaining things to fix after GitHub Pages migration.
- Issue comment#233Zimmi482023-10-15 17:30Remaining things to fix after GitHub Pages migration.
- Issue comment#234Zimmi482023-10-13 08:04Bugzilla attachments should live on GitHub
- Issue comment#234JasonGross2023-10-12 19:32Bugzilla attachments should live on GitHub
- Issue comment#234Zimmi482023-10-12 19:21Bugzilla attachments should live on GitHub
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.