search

php / doc-base

Tools for the PHP documentation
Other
347 stars 88 forks source link

Stop bugging Harald #161

Closed cmb69 closed 1 month ago

cmb69 commented 1 month ago

See https://github.com/php/doc-en/pull/3836.

Likely fails for some translations. Let's see.

cmb69 commented 1 month ago

Should we update all translations first?

I wouldn't know how to do that (except for German). Maybe we should just wait some days or weeks, and merge then.

Girgias commented 1 month ago

Should we update all translations first?

I wouldn't know how to do that (except for German). Maybe we should just wait some days or weeks, and merge then.

I thinking waiting for a couple of days and restarting the CI is a better idea. :)

cmb69 commented 1 month ago

Just triggered CI again; most translations fail because of the MongoDB set to book conversion. I don't think adding this on top would be an issue.