Thanks!
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to sage-devel+unsubscr...@googlegroups.com.
To view this discussion on the web visit
I've force-pushed the original tip of the branch.
On Tuesday, April 9, 2024 at 5:03:50 PM UTC-7 Kwankyu Lee wrote:
> Because of
>
> https://groups.google.com/g/sage-devel/c/dEa3i2Fn3ZY/m/gIWG6UpBAAAJ
>
> currently github workflows stopped working.
>
> Please revoke the commit ASAP!
>
> Sorry for
