Submitting patches

Tagging

When we submit a patch, we create a tag on the latest commit included in that patch with following pattern for the tag name:

patch-<feature or branch name>-<two digit patch number>

The first patch in the kyber branch for instance is named patch-mlkem-01. Generally the chosen "feature or branch name" should match the branch name but may exchange the submission name for the newer NIST name of the algorithm.

Then don't forget to push the tag to origin:

git push origin <tag-name>