Make promoted files read-only#12519

rgrinberg merged 1 commit intoocaml:mainocaml/dune:mainfrom

MisterDA:make-promoted-files-read-onlyMisterDA/dune:make-promoted-files-read-onlyCopy head branch name to clipboard