06:35 <fangerer> I think I need to do this: https://docs.github.com/en/actions/security-guides/encrypted-secrets#creating-encrypted-secrets-for-a-repository

07:45 <steve_s> Hello, RFC on HPy_BuildValue :-) https://github.com/hpyproject/hpy/pull/239

08:24 <antocuni> fangerer: I made you an "owner" of the hpyproject org on github, I think it should give you all the permissions that you need

08:59 <fangerer> cool, thanks