[go: up one dir, main page]

Add a bunch of useful scripts for planning releases.

Antonio Sánchezrequested to merge
cantonios/eigen:scripts into master

These scripts use the GitLab API to determine MR/issue information, determine MR/issues related to commits, add labels, and mirror source archives to the generic package registry.

Much of the content of these scripts was generated via Gemini, with minor corrections and edits.

Merge request reports