Failing docs pipeline
Recently the docs stage of the pipeline fails due to some ownership issues regarding the docs folder (see https://gitlab.mpcdf.mpg.de/ift/nifty/-/jobs/2023129#L497). I am not entirely sure what is going on here, I suspect it may be something related to using a cached docker image. @veberle, @gedenhof: Do you have any thoughts on this?