guix commit: 9fcf282.

> Is it a pushed commit? Or a local one?

Yes, it is pushed of course! :)

-- 
Pierre Neidhardt
https://ambrevar.xyz/