sage

754bb9f6 - .ci/write-dockerfile.sh: Fix handling of .gitignore while src/ has not been copied in fully