Repository request: mlkem-libjade
mbbarbosa opened this issue · 7 comments
Repository where we will be placing formally verified asm implementations of mlkem coming from libjade (https://github.com/formosa-crypto/libjade).
Bootstrap Ids:
- cryptojedi, tfaoliveira, mbbarbosa, MQuaresma
I've added three of you (one request to add to org)
Set cryptojedi as admin
For repo, do you want
- repo based on template at pq-code-package/template-code
- empty repo (can add that other content later)
done via template
@ryjones are you ok with the groups set-up.
pqcp-libjade -> has manual set as maintainer
pqcp-libjade-maintainers -> needs a maintainer assigned (ie Peter)
pqcp-libjade-admin -> needs a maintainer assigned (ie Peter)
I no longer have access to check the role assignment to each team.
@ryjones I think @ MQuaresma is missing from pqcp-libjade-maintainers otherwise looks good
Closing, since the repo and access groups are created.
New issues can be raised for any corrections