Add announcement banner for push to develop#38402

vbraun merged 1 commit intosagemath:developsagemath/sage:developfrom

kwankyu:p/condition-for-announcementkwankyu/sage:p/condition-for-announcementCopy head branch name to clipboard