Tool to help GAP package authors with the process of making new releases of their packages
active 2023-08-30 → 2025-09-04 (UTC)
Activity over time
Daily event counts in the loaded window
Line chart, 737 days from 2023-08-30 to 2025-09-04. Pushes: 11 total, peak 5 in a day. Pull requests: 5 total, peak 4 in a day. Issues: 14 total, peak 3 in a day. Comments: 16 total, peak 6 in a day. Stars: 2 total, peak 1 in a day.
- Pushes
- Pull requests
- Issues
- Comments
- Stars
Stars, PRs, issues and forks are under-captured in the later part of this window. GH Archive progressively stopped capturing non-push events during 2026 — −95% or worse by the end of the window. Every series here except Pushes fades for that reason, so a decline above reflects the archive, not this repository. Pushes stay reliable throughout, so read them, and the contributor counts derived from them, as the real signal. Data health has the measurements.
Top contributors
Pushes, PRs, issues, reviews and comments — stars and forks excluded, so this is contribution rather than popularity
| Contributor | Contributions | Pushes | PRs | Comments |
|---|---|---|---|---|
| fingolfin | 39 | 11 | 3 | 13 |
| wilfwilson | 6 | 0 | 1 | 2 |
| zickgraf | 1 | 0 | 1 | 0 |
| binluckysun416 | 1 | 0 | 0 | 1 |
| CAPiedade | 1 | 0 | 0 | 0 |
| ThomasBreuer | 1 | 0 | 0 | 0 |
Recent activity
Latest issues, pull requests and releases
- Pull request#109wilfwilson2025-09-04 20:52
- Issue comment#42fingolfin2025-09-04 08:12Add extended `PackageInfo.g` validation
- Issue comment#40fingolfin2025-09-04 08:01Add warning about unresolved links in documentation
- Issue#40fingolfin2025-09-04 08:01Add warning about unresolved links in documentation
- Issue#107wilfwilson2025-09-04 00:10Add functionality to allow a custom `body` for the GitHub release
- Issue comment#107wilfwilson2025-09-04 00:10Add functionality to allow a custom `body` for the GitHub release
- Issue comment#107wilfwilson2025-09-03 11:34Add functionality to allow a custom `body` for the GitHub release
- Issue comment#95fingolfin2025-09-02 22:22Reject broken symlinks or even all
- Issue comment#73fingolfin2025-09-02 22:17Fix more links in the online versions of manuals
- Issue#41fingolfin2025-09-02 20:52Automatically disable maintainer mode for packages using autoconf?
- Issue comment#19fingolfin2025-09-02 20:51Help user to manage / update CHANGES file?
- Issue comment#109fingolfin2025-09-02 20:46Treat an optional `CHANGES` file similarly to the `README`
- Issue comment#107fingolfin2025-09-02 20:43Add functionality to allow a custom `body` for the GitHub release
- Issue comment#107fingolfin2025-09-02 20:42Add functionality to allow a custom `body` for the GitHub release
- Issue#47fingolfin2025-09-02 19:38Use --quitonbreak once GAP 4.9 is released
- Issue#110fingolfin2025-09-02 19:34Augment the README with a mention of the new GH action based release tooling as an alternative to this script
- Issue comment#108binluckysun4162025-09-01 19:20Copy the `CHANGES`/`CHANGELOG` file to the `gh-pages` branch, as we do for the `README`
- Issue#108wilfwilson2025-09-01 19:19Copy the `CHANGES`/`CHANGELOG` file to the `gh-pages` branch, as we do for the `README`
- Issue#107wilfwilson2025-09-01 18:35Add functionality to allow a custom `body` for the GitHub release
- Issue comment#40fingolfin2024-11-20 14:57Add warning about unresolved links in documentation
- Issue#106ThomasBreuer2024-11-20 13:35`release-gap-package`: enhance the check whether building the documentation works
- Issue comment#105fingolfin2024-03-14 22:25The release-gap-package fails copying the files if the folder has a space in the name
- Issue#105fingolfin2024-03-14 22:25The release-gap-package fails copying the files if the folder has a space in the name
- Issue#105CAPiedade2024-03-11 15:21The release-gap-package fails copying the files if the folder has a space in the name
- Issue#104fingolfin2024-03-11 15:13Use the `gh` tool if available and user is logged in with it (or just unconditionally require it)
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.