Skip to content

Add announcement banner also for PRs over stable release#38332

Merged
vbraun merged 34 commits intosagemath:developfrom
kwankyu:p/improve-announcement-banner
Jul 12, 2024
Merged

Add announcement banner also for PRs over stable release#38332
vbraun merged 34 commits intosagemath:developfrom
kwankyu:p/improve-announcement-banner

Commits

Commits on Jun 29, 2024

Commits on Jun 30, 2024

Commits on Jul 1, 2024

Commits on Jul 2, 2024

Commits on Jul 3, 2024