Below you will find pages that utilize the taxonomy term “marcelolynch”
January 23, 2026
Upstream dashboard data generator
Version updated for https://github.com/marcelolynch/gen-upstream-dashboard-action to version v1.0.0.
This action is used across all versions by ? repositories. Go to the GitHub Marketplace to find the latest changes.
Action Summary This GitHub Action automates the process of identifying and categorizing files in downstream projects that are candidates for upstreaming into the Mathlib repository. It inspects a downstream repository, evaluating files based on readiness for upstreaming and generating Markdown dashboards that highlight files ready to contribute, as well as those requiring minimal effort to prepare.