search

HoTT / book

A textbook on informal homotopy type theory
2.03k stars 359 forks source link

CI problem: "dubious ownership" #1139

Closed mikeshulman closed 1 year ago

mikeshulman commented 1 year ago

The "Build and update nightlies" job is currently failing with message

fatal: detected dubious ownership in repository at '/__w/book/book'
To add an exception for this directory, call:
git config --global --add safe.directory /__w/book/book

I have no idea what's going on. @JasonGross maybe?

leahneukirchen commented 1 year ago

Try adding a build step that runs git config --global --add safe.directory '*'