git ls-files -mto find the modified files. This apparently makes Docker very angry, and shouldn't be left running indefinitely.
FYI What I was going to say tonight was that:
i) making sure the configure.php in the doc-base repo and the phd render have tests would be a good thing to have done eventually. Currently that code can only be used via the command line, which is slightly annoying, but also the partial render can only render one file at a time, which is quite annoying. Changing that to be better would be not too difficult to do, but obviously would be better once someone has checked that there are enough tests in place to make sure rendering the manual doesn't break.
Have you seen this? :joy:
Ahh, just saw it in the internals@.
I don't think that this will affect us.
@nikic Aren't we using the git.php.net domain for this migration?
git filter-branchgoing. Running it on the german translation took about 15 hours, but now all the Revision-IDs are replaced with the corresponding hashes!