Versions Compared

Key

  • This line was added.
  • This line was removed.
  • Formatting was changed.

...

  • PRs to be reviewed
    • Glossary/Terminology: PR 3074PR 3131 → WIP
    • Bibliography: PR 3127 → merged , missing links for chapters 5 and 8 will be added with a new PR
    • Dump RC1: PR 3121 → merged
    • Abbreviations: PR 3132 → merged
    • Bugs on Tables: PR 3133 → Tables size + overfulling + quotes, merged
    • References to RM: PR 3134
    Review of the issues identified on the pdf file
    • → 3 approvals, conflits to be solved
  • Bug with the Material theme in Sphinx for long tables class: bug open https://github.com/bashtage/sphinx-material/issues/127
  • References for chapters 5 and 8 must be added into Bibliography

Discussion on GitHub/GitLab/Gerrit

  • Decision due for 30th of August TSC: stay on GitHub repo, but maintain the URL CNTT redirect
  • Gerrit more powerful, open-source tool
  • Gerrit can be considered, but it need to be evaluated

Next meetings

2022-09-05: Labor Day, meeting cancelled

2022-09-12: next meeting

Meeting Recording: none

...