How to Submit an Erratum?
Errata are introduced and stored in the issue list of the group‘s GitHub repository. The workflow to add a new erratum is as follows:
- An issue is raised for a possible erratum. The label of the issue SHOULD be set to “
ErratumRaised
”. It SHOULD also include the label corresponding to the document on which the erratum is raised, e.g., “Model
” or “Vocab
”. (Please, consult the list of available labels.) It is o.k. for an erratum to have several labels. In some, exceptional, cases, i.e., when the erratum is very general, it is also acceptable not to have a reference to a document.
- The community discusses the issue. If it is accepted as a genuine erratum, the label “
Errata
” is added to the entry (the “ErratumRaised
” label should also be removed). Additionally, a new comment on the issue MAY be added, beginning with the word "Summary:" (if such a summary is useful based on the discussion).
- If the community rejects the issue as an erratum, the issue should be closed.
This report contains a reference to all open issues with the label Errata
, displayed in the sections below. Each section collects the issues for a specific document, with a separate section for the issues not assigned to any.
If you have problems following this process, but you want nevertheless to report an error, you can also contact the staff contact of the Working Group, Ivan Herman.