Merge branch 'extra-info-1' into 'main'production/deployments/175main
treeb39fccd6f1abdf0e2cc83dcf31e5c8a6b58415df
-rw-r--r-- 240 .gitignore
-rw-r--r-- 1943 .gitlab-ci.yml
-rw-r--r-- 46 .mailmap
-rw-r--r-- 408 README.md
drwxr-xr-x - attic
drwxr-xr-x - bin
drwxr-xr-x - mdbook
drwxr-xr-x - proposals
drwxr-xr-x - spec